Advanced Information Systems Engineering : 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...
Lire la suite
Computer Safety, Reliability, and Security
It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...
Lire la suite
Computer Safety, Reliability, and Security
It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...
Lire la suite
Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
Lire la suite
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Lire la suite
Developing Ambient Intelligence
As Ambient Intelligence (AmI) ecosystems are rapidly becoming a reality, they raise new research challenges. Unlike predefined ...
Lire la suite
Distributed Applications and Interoperable Systems (vol. # 4025)
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...
Lire la suite
Massively Multi-Agent Technology : AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
Lire la suite
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suite
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lire la suite
Stabilization, Safety, and Security of Distributed Systems
This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
Lire la suiteThe Maintenance Management Framework
The Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management ...
Lire la suite
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suite
