Showing 1,201 - 1,220 results of 1,696 for search '"Distributed Systems"', query time: 0.16s Refine Results
  1. 1201
    Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings /
    Published 2005
    Table of Contents: “… for Improving the Availability of Distributed Systems -- Dependability -- Propagative Deployment of Hierarchical…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1202
    Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  3. 1203
    Computational Intelligence Collaboration, Fusion and Emergence /
    Published 2009
    Table of Contents: “… -- Computational Intelligence for the Collaborative Identification of Distributed Systems -- Collaboration…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1204
    Ambient Intelligence European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- The PERSONA Framework for Supporting Context-Awareness in Open Distributed Systems -- Enabling NFC Technology…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1205
    Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  6. 1206
    Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  7. 1207
    Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
    Published 2018
    Table of Contents: “… in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1208
    Uncertainty in Complex Networked Systems In Honor of Roberto Tempo /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  9. 1209
    Carl Adam Petri: Ideas, Personality, Impact
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  10. 1210
    Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  11. 1211
    Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  12. 1212
    Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports /
    Published 2005
    Table of Contents: “…, and Information Systems -- Communication Abstractions for Distributed Systems -- Formal Techniques for Java-Like…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1213
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Algorithms -- Towards Automated Proof Support for Probabilistic Distributed Systems -- Algebraic Intruder…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1214
    Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Size of Boolean Functions -- Distributed Systems -- Almost Optimal Explicit Selectors -- The Delayed k…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1215
    Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  16. 1216
    Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- On Local Reasoning in Verification -- Concurrent/Distributed Systems -- Interprocedural Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1217
    Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  18. 1218
    Distributed Embedded Systems: Design, Middleware and Resources
    Published 2008
    Table of Contents: “… Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements -- TinyOS Extensions for a…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1219
    Distributed and Parallel Systems Cluster and Grid Computing /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  20. 1220
    Trust Management Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30– August 2, 2007, New Brunswick, Canada /
    Published 2007
    Table of Contents: “… of Trust -- Trust Transfer in Distributed Systems -- Trust without Truth -- Mining and Detecting Connection…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search