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

  Permalink