Architecting Systems with Trustworthy Components
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيد
Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
اقرأ المزيد
Embedded Computer Systems: Architectures, Modeling, and Simulation
The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...
اقرأ المزيد
Embedded Computer Systems: Architectures, Modeling, and Simulation
The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...
اقرأ المزيد
Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)
This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and ...
اقرأ المزيد
Embedded Software and Systems (vol. # 3605)
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which ...
اقرأ المزيد
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيد
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيد
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيد
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيد
Guerrilla Capacity Planning
Guerrilla Capacity Planning facilitates rapid forecasting of capacity requirements based on the opportunistic use of whatever ...
اقرأ المزيد
High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
اقرأ المزيد
Kanban-Controlled Manufacturing Systems
Kanban control systems bear a great potential to significantly improve operations. A company may reap the full benefits of ...
اقرأ المزيد
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
اقرأ المزيد
Parallel Processing and Applied Mathematics
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing ...
اقرأ المزيد
Passive and Active Network Measurement
Welcometothe6thInternationalWorkshoponPassiveandActiveMeasurement, held in Boston, Massuchusetts. PAM 2005 was organized ...
اقرأ المزيد
Passive and Active Network Measurement
This book constitutes the refereed proceedings of the 8th International Conference on Passive and Active Measurement, PAM ...
اقرأ المزيد
