-
1201Published 2005Table of Contents: “… for Improving the Availability of Distributed Systems -- Dependability -- Propagative Deployment of Hierarchical…”
Full Text via HEAL-Link
Electronic eBook -
1202
-
1203Published 2009Table of Contents: “… -- Computational Intelligence for the Collaborative Identification of Distributed Systems -- Collaboration…”
Full Text via HEAL-Link
Electronic eBook -
1204Published 2008Table of Contents: “… -- The PERSONA Framework for Supporting Context-Awareness in Open Distributed Systems -- Enabling NFC Technology…”
Full Text via HEAL-Link
Electronic eBook -
1205
-
1206
-
1207Published 2018Table of Contents: “… in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems…”
Full Text via HEAL-Link
Electronic eBook -
1208
-
1209
-
1210
-
1211
-
1212Published 2005Table of Contents: “…, and Information Systems -- Communication Abstractions for Distributed Systems -- Formal Techniques for Java-Like…”
Full Text via HEAL-Link
Electronic eBook -
1213Published 2005Table of Contents: “… Algorithms -- Towards Automated Proof Support for Probabilistic Distributed Systems -- Algebraic Intruder…”
Full Text via HEAL-Link
Electronic eBook -
1214Published 2005Table of Contents: “… Size of Boolean Functions -- Distributed Systems -- Almost Optimal Explicit Selectors -- The Delayed k…”
Full Text via HEAL-Link
Electronic eBook -
1215
-
1216Published 2008Table of Contents: “… -- On Local Reasoning in Verification -- Concurrent/Distributed Systems -- Interprocedural Analysis…”
Full Text via HEAL-Link
Electronic eBook -
1217
-
1218Published 2008Table of Contents: “… Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements -- TinyOS Extensions for a…”
Full Text via HEAL-Link
Electronic eBook -
1219
-
1220Published 2007Table of Contents: “… of Trust -- Trust Transfer in Distributed Systems -- Trust without Truth -- Mining and Detecting Connection…”
Full Text via HEAL-Link
Electronic eBook