Limit search to available items
Book Cover
Author EPEW (Workshop) (4th : 2007 : Berlin, Germany)

Title Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / Katinka Wolter (ed.)
Published Berlin ; New York : Springer, [2007]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (x, 300 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4748
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 4748. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Keynote: Optimization problems in service provisioning systems / Isi Mitrani -- Markov chains -- Process algebras and state machines -- Grid and peer-to-peer systems -- Queueing theory and applications of queuing -- Benchmarking and bounding -- Wireless networks
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer systems -- Evaluation -- Congresses.
Formal methods (Computer science) -- Congresses.
Stochastic models -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Wolter, Katinka.
ISBN 9783540752110
Other Titles Fourth European Performance Engineering Workshop
European Performance Engineering Workshop
EPEW 2007