What is included with this book?
Invited Papers | |
A Process-Theoretic Look at Automata | p. 1 |
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems | p. 34 |
rCOS: Theory and Tool for Component-Based Model Driven Development | p. 62 |
Regular Papers | |
Termination in Higher-Order Concurrent Calculi | p. 81 |
Typing Asymmetric Client-Server Interaction | p. 97 |
Equational Reasoning on Ad Hoc Networks | p. 113 |
Towards a Notion of Unsatisfiable Cores for LTL | p. 129 |
Rule Formats for Determinism and Idempotence | p. 146 |
The Complexity of Reachability in Randomized Sabotage Games | p. 162 |
Applying Step Coverability Trees to Communicating Component-Based Systems | p. 178 |
Program Logics for Sequential Higher-Order Control | p. 194 |
Modular Schedulability Analysis of Concurrent Objects in Creol | p. 212 |
A Timed Calculus for Wireless Systems | p. 228 |
Model Checking Linear Duration Invariants of Networks of Automata | p. 244 |
Automata Based Model Checking for Reo Connectors | p. 260 |
On the Expressiveness of Refinement Settings | p. 276 |
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties | p. 292 |
Automated Translation and Analysis of a ToolBus Script for Auctions | p. 308 |
Executable Interface Specifications for Testing Asynchronous Creol Components | p. 324 |
Compositional Strategy Mapping | p. 340 |
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs | p. 355 |
Refinement Patterns for Hierarchical UML State Machines | p. 371 |
Specification and Validation of Behavioural Protocols in the rCOS Modeler | p. 387 |
The Interplay between Relationships, Roles and Objects | p. 402 |
A Coordination Model for Interactive Components | p. 416 |
Short Papers | |
Evolution Control in MDE Projects: Controlling Model and Code Co-evolution | p. 431 |
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures | p. 439 |
A First Step towards Security Policy Compliance of Connectors | p. 447 |
A Safe Implementation of Dynamic Overloading in Java-Like Languages | p. 455 |
Fundamental Concepts for the Structuring of Functionality into Modular Parts | p. 463 |
Author Index | p. 471 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.