Limit search to available items
Record 11 of 25
Previous Record Next Record
Book Cover
E-book
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]
©2007
Online access available from:
Springer eBooks    View Resource Record  

Copies

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
3540752110
9783540752103
3540752102
Other Titles Fourth European Performance Engineering Workshop
European Performance Engineering Workshop
EPEW 2007