Electronic Books

Total Books: 21 - 36 /36

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 ...

Total Books: 21 - 36 /36