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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Developing Ambient Intelligence
As Ambient Intelligence (AmI) ecosystems are rapidly becoming a reality, they raise new research challenges. Unlike predefined ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيدThe Maintenance Management Framework
The Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management ...
اقرأ المزيد
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 ...
اقرأ المزيد
