Εμφανίζονται 1.041 - 1.060 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed systems"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 1041
    Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Distributed Systems -- Architecture and Components / Reasoning about Components -- Carmen: Software Component…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1042
    Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Services: Challenges for Military Distributed Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1043
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1044
    Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Speculative TLP in Recursive Programs by Dynamic Thread Prediction -- Live Debugging of Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1045
    Higher-Order Components for Grid Programming Making Grids More Usable /
    ανά Dünnweber, Jan, Gorlatch, Sergei
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1046
    OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems /
    ανά Ashford, Colin, Gauthier, Pierre
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1047
    Citizen Empowered Mapping
    Έκδοση 2017
    Πίνακας περιεχομένων: “… and distributed system’s strategies -- Chapter 5. Productive Networks and Indirect Locations -- Part II: Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1048
    Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1049
    Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1050
    Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part I /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1051
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1052
    Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Component-Based Dependable Distributed Systems -- Empirical Evaluation of Model-Based Performance Prediction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1053
    Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part II /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1054
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… on Discrete and Hybrid Structures -- Weighted Distributed Systems and Their Logics -- Weighted O-Minimal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1055
    Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… in Non-cooperative Distributed Systems -- iManage: Policy-Driven Self-management for Enterprise-Scale…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1056
    Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Agent Development in Open Distributed Systems -- simpA: A Simple Agent-Oriented Java Extension…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1057
    Semantic Management of Middleware
    ανά Oberle, Daniel
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1058
    Cloud Computing - CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1059
    Peer-to-Peer Computing Principles and Applications /
    ανά Vu, Quang Hieu, Lupu, Mihai, Ooi, Beng Chin
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1060
    Self-organising Software From Natural to Artificial Adaptation /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email