-
901Έκδοση 2006Πίνακας περιεχομένων: “… of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
902Έκδοση 2010Πίνακας περιεχομένων: “… Linearization -- Multicommodity Distribution System Design by Benders Decomposition * † ‡ -- Structured Modeling…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
903Έκδοση 2009Πίνακας περιεχομένων: “… Disturbances -- A Java-Based Framework for the Programming of Distributed Systems for Mobile Robots -- Wheeeler…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
904Έκδοση 2005Πίνακας περιεχομένων: “… Implementations -- A Framework for Ensuring and Improving Dependability in Highly Distributed Systems -- Enabling…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
905Έκδοση 2005Πίνακας περιεχομένων: “… Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
906Έκδοση 2014Πίνακας περιεχομένων: “… Operation-Based CRDTs Operation-Based -- Autonomous Multi-dimensional Slicing for Large-Scale Distributed…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
907Έκδοση 2012Πίνακας περιεχομένων: “…The Distribution System Operator at the Heart of the SmartGrid Revolution /…”
Full Text via HEAL-Link
Ηλ. βιβλίο -
908Έκδοση 2006Πίνακας περιεχομένων: “…-Based Byzantine-Resilient Coordination in Open Distributed Systems -- Brief Announcement: Optimistic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
909Έκδοση 2009Πίνακας περιεχομένων: “… Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
910Έκδοση 2015Πίνακας περιεχομένων: “… Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
911Έκδοση 2001Πίνακας περιεχομένων: “…Designing Interactive Distributed Systems -- Specifying Temporal Behaviour in Software…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
912Έκδοση 2004Πίνακας περιεχομένων: “… Institutions -- Towards the Verifying Compiler -- Object-Oriented Specification and Open Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
913Έκδοση 2002Πίνακας περιεχομένων: “… in the Enterprise JavaBean Component Model -- A Component Framework for Dynamic Reconfiguration of Distributed…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
914Έκδοση 2010Πίνακας περιεχομένων: “… Systems -- Power Distribution System Reliability Evaluation Using Both Analytical Reliability Network…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
915Έκδοση 2008Πίνακας περιεχομένων: “…-Structured Distributed Systems -- Levels of Assurance and Reauthentication in Federated Environments…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
916Έκδοση 2013Πίνακας περιεχομένων: “… Relays in Power Distribution Systems -- Specification and Verification Using Alloy of Optimistic Access…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
917Software 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
Ηλεκτρονική πηγή Ηλ. βιβλίο -
918Έκδοση 2006Πίνακας περιεχομένων: “… Distributed Systems -- Views: Middleware Abstractions for Context-Aware Applications in MANETs -- An Adaptive…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
919Έκδοση 2009Πίνακας περιεχομένων: “… Speculative TLP in Recursive Programs by Dynamic Thread Prediction -- Live Debugging of Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
920Έκδοση 2010Πίνακας περιεχομένων: “… -- Self-* and Adaptive Mechanisms for Large Scale Distributed Systems -- Network Monitoring in the age…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο