he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Lire la suite
Data management systems play the most crucial role in building large application s- tems. Since modern applications are no ...
Lire la suite
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Lire la suite
The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most ...
Lire la suite
ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...
Lire la suite
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...
Lire la suite
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Workshop on Distributed Computing, IWDC 2004, held ...
Lire la suite
This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes ...
Lire la suite
This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes ...
Lire la suite
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
Lire la suite
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. ...
Lire la suite
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...
Lire la suite
Embedded and ubiquitous computing is an exciting new paradigm that p- vides computing and communication services all the ...
Lire la suite
Welcome to the proceedings of the 2005 IFIP International Conference on - bedded and Ubiquitous Computing (EUC 2005), which ...
Lire la suite