Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Continue reading
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Information Infrastructures within European Health Care
This book consolidates experiences from across Europe on the design, development, implementation and evolution of inter-organisational ...
Continue reading
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...
Continue reading
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148)
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by ...
Continue reading
Intelligent Systems Design and Applications
This book highlights recent research on intelligent systems and nature-inspired computing. It presents 62 selected papers ...
Continue reading
Process Modelling for Control
Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid ...
Continue reading
Robust Control Design with MATLAB®
Robust Control Design with MATLAB® helps you learn how to use well-developed advanced robust control design methods in practical ...
Continue reading
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue reading
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Continue reading
Software Architecture (vol. # 3527)
This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Continue reading
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Continue reading
Universal Access in Human-Computer Interaction. Applications and Services
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Continue reading
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Continue reading
