Architecting Systems with Trustworthy Components
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Continue reading
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Continue reading
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Continue reading
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Embedded Software and Systems (vol. # 3605)
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which ...
Continue reading
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 ...
Continue reading
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Guerrilla Capacity Planning
Guerrilla Capacity Planning facilitates rapid forecasting of capacity requirements based on the opportunistic use of whatever ...
Continue reading
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, ...
Continue reading
Kanban-Controlled Manufacturing Systems
Kanban control systems bear a great potential to significantly improve operations. A company may reap the full benefits of ...
Continue reading
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Continue reading
Parallel Processing and Applied Mathematics
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing ...
Continue reading
Passive and Active Network Measurement
Welcometothe6thInternationalWorkshoponPassiveandActiveMeasurement, held in Boston, Massuchusetts. PAM 2005 was organized ...
Continue reading
Passive and Active Network Measurement
This book constitutes the refereed proceedings of the 8th International Conference on Passive and Active Measurement, PAM ...
Continue reading
