-
1101
-
1102Published 2007Table of Contents: “… General Types -- S2A: A Compiler for Multi-modal UML Sequence Diagrams -- Distributed Systems -- Scenario…”
Full Text via HEAL-Link
Electronic eBook -
1103Published 2005Table of Contents: “… Synthesis of Distributed Systems Using Event Structures -- The Inverse Method for the Logic of Bunched…”
Full Text via HEAL-Link
Electronic eBook -
1104Published 2006Table of Contents: “… of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic…”
Full Text via HEAL-Link
Electronic eBook -
1105Published 2006Table of Contents: “… Distributed Systems -- Views: Middleware Abstractions for Context-Aware Applications in MANETs -- An Adaptive…”
Full Text via HEAL-Link
Electronic eBook -
1106Published 2011Table of Contents: “… Architecture for Distributed Systems -- A Structured Representation to the Group Behavior Recognition Issue…”
Full Text via HEAL-Link
Electronic eBook -
1107
-
1108
-
1109Published 2010Table of Contents: “… -- Self-* and Adaptive Mechanisms for Large Scale Distributed Systems -- Network Monitoring in the age…”
Full Text via HEAL-Link
Electronic eBook -
1110
-
1111Published 2008Table of Contents: “…/Subscribe Systems -- Software Engineering -- Diagnosing Distributed Systems with Self-propelled…”
Full Text via HEAL-Link
Electronic eBook -
1112Published 2010Table of Contents: “… Rule-Driven RESTful Architecture for Distributed Systems -- Miscellaneous Rule Topics -- Visualizing…”
Full Text via HEAL-Link
Electronic eBook -
1113
-
1114by Mordukhovich, Boris S.Table of Contents: “…. Approximate Maximum Principle in Optimal Control -- Optimal Control of Distributed Systems: Optimization…”
Published 2006
Full Text via HEAL-Link
Electronic eBook -
1115Published 2005Table of Contents: “… Self-* -- A Case for Design Methodology Research in Self-* Distributed Systems -- Enabling Autonomic…”
Full Text via HEAL-Link
Electronic eBook -
1116
-
1117
-
1118
-
1119
-
1120Published 2008Table of Contents: “… in Distributed Systems -- An Agent Based Architecture for DAG Scheduling -- Grid Programming Environments…”
Full Text via HEAL-Link
Electronic eBook