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