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 ...
Lee mas
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 ...
Lee mas
Principles of Security and Trust
This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Lee mas
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 ...
Lee mas
Programming Languages and Systems
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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
Lee mas
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 ...
Lee mas
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 ...
Lee mas
