Performance Evaluation: Metrics, Models and Benchmarks : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held ...
اقرأ المزيد
Pervasive Computing : Innovations in Intelligent Multimedia and Applications
This useful volume provides up-to-date and state-of-the-art coverage of the diverse topics related to pervasive computing ...
اقرأ المزيد
Principles of Security and Trust
This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
اقرأ المزيد
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 10th International Workshop on Principles, Systems and Applications ...
اقرأ المزيد
Programming Languages and Systems
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
اقرأ المزيد
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
اقرأ المزيد
Resilient Networks and Services : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
اقرأ المزيد
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
اقرأ المزيد
Security of Networks and Services in an All-Connected World
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
اقرأ المزيد
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
اقرأ المزيد
Strategy, Planning and Organization of Test Processes : Basis for Successful Project Execution in Software Testing / Frank Witte
Provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are ...
اقرأ المزيد
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيد
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
اقرأ المزيد
