Showing 1,041 - 1,060 results of 1,696 for search '"Distributed Systems"', query time: 0.12s Refine Results
  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 /
    Published 2008
    Table of Contents: “… of Distributed Systems -- Architecture and Components / Reasoning about Components -- Carmen: Software Component…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1042
    Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers /
    Published 2006
    Table of Contents: “… Services: Challenges for Military Distributed Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1043
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Published 2013
    Table of Contents: “…-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2009
    Table of Contents: “… Speculative TLP in Recursive Programs by Dynamic Thread Prediction -- Live Debugging of Distributed Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1045
    Higher-Order Components for Grid Programming Making Grids More Usable /
    by Dünnweber, Jan, Gorlatch, Sergei
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  6. 1046
    OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems /
    by Ashford, Colin, Gauthier, Pierre
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  7. 1047
    Citizen Empowered Mapping
    Published 2017
    Table of Contents: “… and distributed system’s strategies -- Chapter 5. Productive Networks and Indirect Locations -- Part II: Data…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1048
    Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  9. 1049
    Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  10. 1050
    Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part I /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  11. 1051
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2005
    Table of Contents: “… of Component-Based Dependable Distributed Systems -- Empirical Evaluation of Model-Based Performance Prediction…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1053
    Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part II /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  14. 1054
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… on Discrete and Hybrid Structures -- Weighted Distributed Systems and Their Logics -- Weighted O-Minimal…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1055
    Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings /
    Published 2007
    Table of Contents: “… in Non-cooperative Distributed Systems -- iManage: Policy-Driven Self-management for Enterprise-Scale…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2008
    Table of Contents: “… Agent Development in Open Distributed Systems -- simpA: A Simple Agent-Oriented Java Extension…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1057
    Semantic Management of Middleware
    by Oberle, Daniel
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  19. 1059
    Peer-to-Peer Computing Principles and Applications /
    Full Text via HEAL-Link
    Electronic eBook
  20. 1060
    Self-organising Software From Natural to Artificial Adaptation /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search