Limit search to available items
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

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
Analysis systeemanalyse
systems analysis
computerwetenschappen
computer sciences
computernetwerken
computer networks
software engineering
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer systems -- Evaluation -- Congresses
Formal methods (Computer science) -- Congresses
Stochastic models -- Congresses
Formal methods (Computer science)
Stochastic models.
Computer systems -- Evaluation.
Informatique.
Computer systems -- Evaluation
Formal methods (Computer science)
Stochastic models
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Wolter, Katinka
ISBN 9783540752110
3540752110
9783540752103
3540752102
Other Titles Fourth European Performance Engineering Workshop
European Performance Engineering Workshop
EPEW 2007