Showing 1,021 - 1,040 results of 1,696 for search '"Distributed Systems"', query time: 0.13s Refine Results
  1. 1021
    Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Published 2015
    Table of Contents: “… Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1022
    Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Application to Stepwise Refinement of Real-Time Systems -- Model Checking Probabilistic Distributed Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1023
    Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1024
    Intelligent Agent Systems: Theoretical and Practical Issues Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996 /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  5. 1025
    Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Consumption Estimation in Large-Scale Distributed Systems -- Privacy-preserving Data Allocation…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1026
    Testing of Communicating Systems 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Checking Sequences for a Distributed Test Architecture -- Conformance of Distributed Systems -- An Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1027
    Software Configuration Management ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers /
    Published 2003
    Table of Contents: “… Management -- Software Configuration Management Related to the Management of Distributed Systems and Service…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1028
    Job Scheduling Strategies for Parallel Processing 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers /
    Published 2002
    Table of Contents: “… in Distributed Systems -- Local versus Global Schedulers with Processor Co-allocation in Multicluster Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1029
    Distributed Computing 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Systems -- Using Conditions to Expedite Consensus in Synchronous Distributed Systems -- Tight Bounds…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1030
    Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Binary Theory, and Beyond -- A Type Theory for Robust Failure Handling in Distributed Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1031
    Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
    Published 2015
    Table of Contents: “… to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1032
    Architecting Dependable Systems II
    Published 2004
    Table of Contents: “… in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1033
    Software Reuse: Methods, Techniques, and Tools 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Composition and Reuse of Distributed Systems -- Reusable Web Services -- Code Level Reuse -- Quantifying COTS…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1034
    978-3-030-81685-8.pdf
    Published 2021
    Get full text
  15. 1035
    978-3-030-81688-9.pdf
    Published 2021
    Get full text
  16. 1036
    Robot Operating System (ROS) The Complete Reference (Volume 2) /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  17. 1037
    Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
    Published 2017
    Table of Contents: “…: From Theory to Industrial Application -- Information Flow, Distributed Systems, and Refinement…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1038
    Computing with Social Trust
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  19. 1039
    Regional Analysis of Time-Fractional Diffusion Processes
    Full Text via HEAL-Link
    Electronic eBook
  20. 1040
    Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings /
    Published 2008
    Table of Contents: “…-Structured Distributed Systems -- Levels of Assurance and Reauthentication in Federated Environments…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search