Εμφανίζονται 1.281 - 1.300 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 1281
    Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Checkpointing Algorithm for Mobile Distributed Systems -- Measurement and Performance Analysis -- Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1282
    Data Management in Pervasive Systems
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1283
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Talks -- ADAM: Causality-Based Synthesis of Distributed Systems -- Alchemist: Learning Guarded Affine…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1284
    UML 2000 - The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2-6, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Performance Modeling of Distributed Systems -- Roles -- A Radical Revision of UML's Role Concept -- The Role…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1285
    Development and Evolution of Software Architectures for Product Families Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Architecture Descriptions for Product Lines -- A Model of Interaction in Concurrent and Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1286
    Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Open Distributed Systems -- Structural Sharing and Efficient Proof-Search in Propositional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1287
    Coordination Languages and Models Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… coordination in open distributed systems -- Debugging distributed applications using a coordination…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1288
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1289
    Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Technique for Object Oriented Modelling -- Section III -- An Actor Algebra for Specifying Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1290
    Service-Oriented Computing – ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Collection Services -- On Composition of Checkpoint and Recovery Protocols for Distributed Systems -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1291
    Distributed Computing 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1292
    Complex Systems Design & Management Asia Smart Nations – Sustaining and Designing: Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016 /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Coordination of Dynamic Participants in Real-time Distributed Systems -- Foresight Study on Singapore Urban…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1293
    Smart Card Research and Advanced Applications VI IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1294
    Computer Systems Theory, Technology, and Applications /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Analysis, Composability and Computation -- Access Control in Distributed Systems -- Implementing Condition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1295
    Transactions on Petri Nets and Other Models of Concurrency XIV
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1296
    Adaptive Multimedia Retrieval: User, Context, and Feedback Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- CANDELA – Storage, Analysis and Retrieval of Video Content in Distributed Systems -- Spatio-temporal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1297
    Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1298
    Autonomic Networking First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006. Proceedings /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1299
    Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1300
    Trust Management IV 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-monotonic Trust Management for Distributed Systems -- Modeling and Analysis of Trust Management Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email