Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: EPEW (Workshop) Berlin, Germany), SpringerLink (Online service)
Other Authors: Wolter, Katinka
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2007]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science. 4748.
Subjects:
Computer systems > Evaluation > Congresses.
Formal methods (Computer science) > Congresses.
Stochastic models > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of 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.