Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /

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 organ...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Agha, Gul (Editor ), Van Houdt, Benny (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Theoretical Computer Science and General Issues, 9826
Temas:
Computer science.
Electronic digital computers-Evaluation.
Computer science-Mathematics.
Mathematical statistics.
Computer simulation.
Computer Science Logic and Foundations of Programming.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Theory of Computation.
Computer Modelling.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:XVII, 382 p. 91 illus. online resource.
ISBN:9783319434254
ISSN:2512-2029 ;

Ejemplares similares