Showing 941 - 960 results of 1,696 for search '"distributed systems"', query time: 0.16s Refine Results
  1. 941
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “…On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 942
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    by Caromel, Denis, Henrio, Ludovic
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  3. 943
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “… for Distributed Systems -- Constraint Solving and Programming -- Hybrid CSP Solving -- An Efficient Decision…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 944
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… Logic -- Calculi for Distributed Systems -- PRISMA: A Mobile Calculus with Parametric Synchronization…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 945
    Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach /
    Full Text via HEAL-Link
    Electronic eBook
  6. 946
    Computer Science - Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  7. 947
    Trusted Systems 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  8. 948
    Big data, data mining and machine learning : value creation for business leaders and practitioners /
    by Dean, Jared, 1978-
    Published 2014
    Table of Contents: “…Hardware -- Distributed systems -- Analytical tools -- Predictive modeling -- Common predictive…”
    Full Text via HEAL-Link
    eBook
  9. 949
    Trends in Practical Applications of Agents and Multiagent Systems 8th International Conference on Practical Applications of Agents and Multiagent Systems /
    Published 2010
    Table of Contents: “… on Artificial Intelligence and Distributed Systems -- Workshop on Systems, Man, & Cybernetics: SMC-Workshop…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 950
    Introduction to hybrid vehicle system modeling and control /
    by Liu, Wei, 1960 August 30-
    Published 2013
    Table of Contents: “…-in charging characteristics, algorithm, and impact on power distribution system -- Hybrid vehicle design…”
    Full Text via HEAL-Link
    eBook
  11. 951
    SYNER-G: Systemic Seismic Vulnerability and Risk Assessment of Complex Urban, Utility, Lifeline Systems and Critical Facilities Methodology and Applications /
    Published 2014
    Table of Contents: “… Infrastructural Systems -- Framework for Seismic Hazard Analysis of Spatially Distributed Systems -- Framework…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 952
    Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Networks -- Distributed Systems and Networks -- Analyzing Grid Log Data with Affinity Propagation -- Using…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 953
    Proceedings of the Third International Forum on Decision Sciences
    Published 2016
    Table of Contents: “… Energy Resources in Smart Distribution System.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 954
    Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
    Published 2001
    Table of Contents: “… for Analyzing Object-Oriented Ada Code -- Distributed Systems -- Building Modern Distributed Systems -- Reliable…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 955
    Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /
    Published 2000
    Table of Contents: “… -- Graph Transformation Modules and Their Composition -- Modeling Distributed Systems by Modular Graph…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 956
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Reconfigurable Distributed Systems -- Three-Tiered Specification of Micro-architectures -- Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 957
    Trust and Privacy in Digital Business First International Conference, TrustBus 2004, Zaragoza, Spain, August 30-September 1, 2004, Proceedings /
    Published 2004
    Table of Contents: “… -- Enabling Trust-Awareness in Naming Services -- Virtual Trust in Distributed Systems -- Modelling Trust…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 958
    Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /
    Published 2000
    Table of Contents: “…-Pushout Graph Grammars is a Coreflection -- Local Views on Distributed Systems and Their Communication…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 959
    Quality of Service - IWQoS 2003 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Availability Based Service Differentiation -- Quality of Availability: Replica Placement for Widely Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 960
    Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of Distributed Service-Based Content Adaptation for Network Optimization -- Distributed Systems -- Second Order…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search