Limit search to available items
Record 21 of 25
Previous Record Next Record
Book Cover
Author International Conference on the Quantitative Evaluation of Systems (13th : 2016 : Québec, Québec)

Title Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / Gul Agha, Benny Van Houdt (eds.)
Published Switzerland : Springer, 2016
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xvii, 382 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 9826
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 9826. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks
Summary 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
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed August 12, 2016)
Subject Computer systems -- Evaluation -- Congresses.
Computer networks -- Evaluation -- Congresses.
Reliability (Engineering) -- Congresses.
Petri nets -- Congresses.
Machine theory -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Agha, Gul A., editor
Houdt, Benny van, editor
ISBN 9783319434254 (electronic bk.)
331943425X (electronic bk.)
Other Titles QEST 2016