Related Books
Language: en
Pages: 246
Pages: 246
Type: BOOK - Published: 2006-06-20 - Publisher: Springer
This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16
Language: en
Pages: 310
Pages: 310
Type: BOOK - Published: 2007-09-17 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.
Language: en
Pages: 475
Pages: 475
Type: BOOK - Published: 2007-06-06 - Publisher: Springer
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods fo
Language: en
Pages: 485
Pages: 485
Type: BOOK - Published: 2012-11-02 - Publisher: Springer Science & Business Media
The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to
Language: en
Pages: 438
Pages: 438
Type: BOOK - Published: 2003-06-29 - Publisher: Springer
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pen