This work covers the evaluation of the performance of computer communication systems. It covers developments in computer performability, bringing together two subjects that have been treated separately in different communities, namely computer and communication system performance evaluation.

This text aims to provide the techniques and methods to evaluate communication systems and ensure their functionality and the quality of their design. It takes a non-mathematical problem-solving approach and includes assessment techniques for single server queues and networks of queues.

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area. The lectures are ...

Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

This title presented 21 papers organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.