Εμφανίζονται 901 - 920 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed system"', χρόνος αναζήτησης: 0,20δλ Περιορισμός αποτελεσμάτων
  1. 901
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 902
    A Long View of Research and Practice in Operations Research and Management Science The Past and the Future /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Linearization -- Multicommodity Distribution System Design by Benders Decomposition * † ‡ -- Structured Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 903
    Research and Education in Robotics — EUROBOT 2008 International Conference, Heidelberg, Germany, May 22-24, 2008. Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Disturbances -- A Java-Based Framework for the Programming of Distributed Systems for Mobile Robots -- Wheeeler…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 904
    Architecting Dependable Systems III
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Implementations -- A Framework for Ensuring and Improving Dependability in Highly Distributed Systems -- Enabling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 905
    Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 906
    Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Operation-Based CRDTs Operation-Based -- Autonomous Multi-dimensional Slicing for Large-Scale Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 907
    SmartGrids /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…The Distribution System Operator at the Heart of the SmartGrid Revolution /…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  8. 908
    Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…-Based Byzantine-Resilient Coordination in Open Distributed Systems -- Brief Announcement: Optimistic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 909
    Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 910
    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 /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 911
    Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Designing Interactive Distributed Systems -- Specifying Temporal Behaviour in Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 912
    From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Institutions -- Towards the Verifying Compiler -- Object-Oriented Specification and Open Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 913
    Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… in the Enterprise JavaBean Component Model -- A Component Framework for Dynamic Reconfiguration of Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 914
    Simulation Methods for Reliability and Availability of Complex Systems
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Systems -- Power Distribution System Reliability Evaluation Using Both Analytical Reliability Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 915
    Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…-Structured Distributed Systems -- Levels of Assurance and Reauthentication in Federated Environments…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 916
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Relays in Power Distribution Systems -- Specification and Verification Using Alloy of Optimistic Access…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 917
    Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Intelligence -- Architecture Description for Mobile Distributed Systems -- Invited Paper -- Architectural…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 918
    Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Distributed Systems -- Views: Middleware Abstractions for Context-Aware Applications in MANETs -- An Adaptive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 919
    Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Speculative TLP in Recursive Programs by Dynamic Thread Prediction -- Live Debugging of Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 920
    Grids, P2P and Services Computing
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Self-* and Adaptive Mechanisms for Large Scale Distributed Systems -- Network Monitoring in the age…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email