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