Εμφανίζονται 1.241 - 1.260 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 1241
    Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… in Resource-restricted Distributed Systems.- Brief Announcement: Hashed Predecessor Patricia Trie - A Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1242
    Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Systems -- Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1243
    Self-Stabilizing Systems 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings /
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1244
    Solving Irregularly Structured Problems in Parallel 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… of static scheduling with task duplication for distributed systems -- A new approximation algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1245
    Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… Coloured Petri Nets - a gentle introduction to formal methods in a distributed systems course -- Transition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1246
    CONCUR '98 Concurrency Theory 9th International Conference, Nice, France, September 8-11, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… and distributed systems by computer.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1247
    Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Population Coding: A New Design Paradigm for Embodied Distributed Systems -- Random Walks in Swarm Robotics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1248
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Replication Protocol for Distributed Systems -- PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1249
    Management of Multimedia Networks and Services 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 3-6, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Network -- Distributed Systems Management -- Automated Validation of Service Configuration on Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1250
    Objects, Components, Architectures, Services, and Applications for a Networked World International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1251
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… of concurrent and distributed systems by restricted timed automata -- Transformational formal development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1252
    Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1253
    9781466565265.pdf
    Έκδοση 2020
    “… interested in computer architecture, embedded systems, and parallel/distributed systems.…”
  14. 1254
    Data and Application Security Developments and Directions /
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1255
    Languages and Compilers for Parallel Computing 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1256
    Design process improvement A review of current practice /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Technological Innovation Research Group, Politecnico di Torino -- Intelligent Interactive Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1257
    Guide to e-Science Next Generation Scientific Research and Discovery /
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Production and Recycling -- e-Science Infrastructure Interoperability Guide -- Trustworthy Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1258
    Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… to Modelling Distributed Systems - Using Large-Scale Multi-Agent Systems -- Part III: Advances in Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1259
    Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1260
    Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Massively Distributed Systems -- Field-Based Coordination for Pervasive Computing Applications -- Coalition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email