This book introduces sections on embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia ...
Lire la suiteThis volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Lire la suiteThe book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lire la suiteThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lire la suiteResponsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteThis volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lire la suiteThe scope of the workshop included the following topics: – design of distributed applications – development methodologies ...
Lire la suiteAd hoc and sensor networks are making their way from research to real-world deployments. Body and personal-area networks, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Lire la suiteThe book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suiteThis book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
Lire la suiteSoftware is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Lire la suiteSoftware Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses ...
Lire la suiteThis book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
Lire la suiteThe behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suiteThis book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite