Showing 961 - 980 results of 1,696 for search '"distributed systems"', query time: 0.15s Refine Results
  1. 961
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  2. 962
    On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II /
    Published 2007
    Table of Contents: “… Their Realization -- Workshop on Reliability in Decentralized Distributed Systems (RDDS) -- RDDS 2007 PC Co-chairs…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 963
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  4. 964
    Understanding Control Flow Concurrent Programming Using μC++ /
    by Buhr, Peter A.
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  5. 965
    Limited Data Rate in Control Systems with Networks
    Full Text via HEAL-Link
    Electronic eBook
  6. 966
    Performance Tools and Applications to Networked Systems Revised Tutorial Lectures /
    Published 2004
    Table of Contents: “… -- Scheduling in Distributed Systems -- Data Allocation and Scheduling in Disks and Disk Arrays.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 967
    Iterative Software Engineering for Multiagent Systems The MASSIVE Method /
    by Lind, Jürgen, Lind, Jürgen
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  8. 968
    Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
    Published 1999
    Table of Contents: “…: Reasoning about Scenarios -- Agents' Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 969
    Supervisor Localization A Top-Down Approach to Distributed Control of Discrete-Event Systems /
    by Cai, Kai, Wonham, W. Murray
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  10. 970
    Το παίγνιο εξισορρόπησης φορτίου με τρεμάμενο χέρι
    Get full text
    Thesis
  11. 971
    The JR Programming Language Concurrent Programming in an Extended Java /
    by Olsson, Ronald A., Keen, Aaron W.
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  12. 972
    Networks on Chip
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  13. 973
    Real-Time Systems Engineering and Applications
    Published 1992
    Table of Contents: “… -- Microprocessor Architectures: A Basis for Real-Time Systems -- Buses in Real-Time Environments -- Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 974
    2020_Book_SupercomputingFrontiers.pdf
    Published 2020
    Get full text
  15. 975
    978-3-031-13185-1.pdf
    Published 2022
    Get full text
  16. 976
    Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 977
    Principles of the Spin Model Checker
    by Ben-Ari, Mordechai
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  18. 978
    Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  19. 979
    ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 980
    On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II /
    Published 2006
    Table of Contents: “… Development -- Workshop on Reliability in Decentralized Distributed Systems (RDDS) -- P2P -- Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search