-
1021Έκδοση 2015Πίνακας περιεχομένων: “… Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1022Έκδοση 2003Πίνακας περιεχομένων: “… Application to Stepwise Refinement of Real-Time Systems -- Model Checking Probabilistic Distributed Systems.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1023Έκδοση 2000Πίνακας περιεχομένων: “… -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1024
-
1025Έκδοση 2016Πίνακας περιεχομένων: “… Consumption Estimation in Large-Scale Distributed Systems -- Privacy-preserving Data Allocation…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1026Έκδοση 2003Πίνακας περιεχομένων: “… Checking Sequences for a Distributed Test Architecture -- Conformance of Distributed Systems -- An Automata…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1027Έκδοση 2003Πίνακας περιεχομένων: “… Management -- Software Configuration Management Related to the Management of Distributed Systems and Service…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1028Έκδοση 2002Πίνακας περιεχομένων: “… in Distributed Systems -- Local versus Global Schedulers with Processor Co-allocation in Multicluster Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1029Έκδοση 2003Πίνακας περιεχομένων: “… Systems -- Using Conditions to Expedite Consensus in Synchronous Distributed Systems -- Tight Bounds…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1030Έκδοση 2016Πίνακας περιεχομένων: “… Binary Theory, and Beyond -- A Type Theory for Robust Failure Handling in Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1031Έκδοση 2015Πίνακας περιεχομένων: “… to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1032Έκδοση 2004Πίνακας περιεχομένων: “… in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1033Έκδοση 2004Πίνακας περιεχομένων: “… Composition and Reuse of Distributed Systems -- Reusable Web Services -- Code Level Reuse -- Quantifying COTS…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1034
-
1035
-
1036
-
1037Έκδοση 2017Πίνακας περιεχομένων: “…: From Theory to Industrial Application -- Information Flow, Distributed Systems, and Refinement…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1038
-
1039
-
1040Έκδοση 2008Πίνακας περιεχομένων: “…-Structured Distributed Systems -- Levels of Assurance and Reauthentication in Federated Environments…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο