Showing 41 - 60 results of 1,696 for search '"distributed system"', query time: 0.10s Refine Results
  1. 41
    Compressed Sensing for Distributed Systems
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /
    by Ölveczky, Peter Csaba
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Quantitative assessments of distributed systems : methodologies and techniques /
    Published 2015
    Table of Contents: “… and Verification of Distributed Systems Using Markov Decision Processes; 1.1 Introduction; 1.2 Markov Decision…”
    Full Text via HEAL-Link
    eBook
  5. 45
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “…-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Computer Networks and Distributed Systems International Symposium, CNDS 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Distributed Systems with Persistent Memory Control and Moment Problems /
    by Pandolfi, Luciano
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services /
    by Birman, Kenneth P.
    Published 2012
    Table of Contents: “… Considerations -- The Virtual Synchrony Execution Model -- Consistency in Distributed Systems -- Part III…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Models and analysis in distributed systems /
    Published 2011
    Full Text via HEAL-Link
    eBook
  10. 50
    Building dependable distributed systems /
    by Zhao, Wenbing, Ph.D
    Published 2014
    Full Text via HEAL-Link
    eBook
  11. 51
    Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Tolerant Distributed Systems -- Short Papers -- Using First-Order Logic to Reason about Submodule…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Distributed Systems-Architecture and Implementation An advanced course
    Published 1983
    Subjects: “…DISTRIBUTED SYSTEMS 24310…”
    Book
  15. 55
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
    by Hatcliff, John
    Published 2010
    Get full text
    Electronic Kit Book
  16. 56
    Replication techniques in distributed systems
    Book
  17. 57
    Distributed systems and computer networks
    by Kramer, Jeff, Sloman, Morris
    Published 1987
    Book
  18. 58
    Communications architecture for distributed systems
    by Cypser, R. J.
    Published 1978
    Book
  19. 59
    Multicast Communication in Distributed Systems
    by Ahamad, Mustaque
    Published 1990
    Subjects: “…DISTRIBUTED SYSTEMS 24310…”
    Book
  20. 60
    Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search