Quantitative Evaluation of Systems
11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
Editors: Norman, Gethin, Sanders, William (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.
- Table of contents (31 chapters)
-
-
Quantitative Evaluation of Service Dependability in Shared Execution Environments
Pages 1-4
-
Multi-agent Networked Systems with Adversarial Elements
Pages 5-8
-
A Structured Solution Approach for Markov Regenerative Processes
Pages 9-24
-
Low-Rank Tensor Methods for Communicating Markov Processes
Pages 25-40
-
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems
Pages 41-56
-
Table of contents (31 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Quantitative Evaluation of Systems
- Book Subtitle
- 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
- Editors
-
- Gethin Norman
- William Sanders
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 8657
- Copyright
- 2014
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-10696-0
- DOI
- 10.1007/978-3-319-10696-0
- Softcover ISBN
- 978-3-319-10695-3
- Edition Number
- 1
- Number of Pages
- XIV, 422
- Number of Illustrations
- 111 b/w illustrations
- Topics
