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