Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, Epew 2007, Berlin, Germany, Sept 27-28, 2007, Proceedings

Wolter, Katinka (EDT)

ISBN 10: 3540752102 / ISBN 13: 9783540752103

Published by Springer, 2007

About this Item

Unread book in perfect condition.

Seller Inventory # 5325102

Bibliographic Details

• Title: Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, Epew 2007, Berlin, Germany, Sept 27-28, 2007, Proceedings
• Publisher: Springer
• Publication Date: 2007
• Language: English
• ISBN 10: 3540752102
• ISBN 13: 9783540752103
• Binding: Soft cover
• Condition: As New

About this title

Synopsis

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.

The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on Markov Chains, Process Algebra, Wireless Networks, Queueing Theory and Applications of Queueing, Benchmarking and Bounding, Grid and Peer-to-Peer Systems.