Εμφανίζονται 961 - 980 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  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 /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Their Realization -- Workshop on Reliability in Decentralized Distributed Systems (RDDS) -- RDDS 2007 PC Co-chairs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 963
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 964
    Understanding Control Flow Concurrent Programming Using μC++ /
    ανά Buhr, Peter A.
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 965
    Limited Data Rate in Control Systems with Networks
    ανά Ishii, Hideaki, Ishii, Hideaki, Francis, Bruce A.
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 966
    Performance Tools and Applications to Networked Systems Revised Tutorial Lectures /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Scheduling in Distributed Systems -- Data Allocation and Scheduling in Disks and Disk Arrays.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 967
    Iterative Software Engineering for Multiagent Systems The MASSIVE Method /
    ανά Lind, Jürgen, Lind, Jürgen
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 968
    Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…: Reasoning about Scenarios -- Agents' Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 969
    Supervisor Localization A Top-Down Approach to Distributed Control of Discrete-Event Systems /
    ανά Cai, Kai, Wonham, W. Murray
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 970
    Το παίγνιο εξισορρόπησης φορτίου με τρεμάμενο χέρι
    ανά Φίλιππας, Απόστολος
    Έκδοση 2012
    Λήψη πλήρους κειμένου
    Thesis
  11. 971
    The JR Programming Language Concurrent Programming in an Extended Java /
    ανά Olsson, Ronald A., Keen, Aaron W.
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 972
    Networks on Chip
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 973
    Real-Time Systems Engineering and Applications
    Έκδοση 1992
    Πίνακας περιεχομένων: “… -- Microprocessor Architectures: A Basis for Real-Time Systems -- Buses in Real-Time Environments -- Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 974
    2020_Book_SupercomputingFrontiers.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  15. 975
    978-3-031-13185-1.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  16. 976
    Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 977
    Principles of the Spin Model Checker
    ανά Ben-Ari, Mordechai
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 978
    Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 979
    ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Development -- Workshop on Reliability in Decentralized Distributed Systems (RDDS) -- P2P -- Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email