Embedded Software and Systems
This book introduces sections on embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia ...
Continue reading
Formal Methods and Stochastic Models for Performance Evaluation
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Continue reading
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, ...
Continue reading
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 ...
Continue reading
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Continue reading
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue reading
Responsibility and Dependable Systems
Responsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Scientific Engineering of Distributed Java Applications
The scope of the workshop included the following topics: – design of distributed applications – development methodologies ...
Continue reading
Security in Ad-hoc and Sensor Networks
Ad hoc and sensor networks are making their way from research to real-world deployments. Body and personal-area networks, ...
Continue reading
Service Availability (vol. # 4328)
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Continue reading
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Continue reading
Software Engineering for Multi-Agent Systems III
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
Continue reading
Software Engineering for Multi-Agent Systems V
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Continue reading
Software Process Modeling
Software Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses ...
Continue reading
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, ...
Continue reading
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Continue reading
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...
Continue reading
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue reading
