Quantitative Evaluation of Systems
13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.
The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
Includes supplementary material: sn.pub/extras
Autor*in
Gul Agha
Themen in »Quantitative Evaluation of Systems«
formal methods model checking modeling and simulation optimization stochastic simulation bayesian inference communication netwworks formal languages input modeling markov processes mobile cloud computing network calculus nondeterminism parameter synthesis performance