Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt.

Format:

Book

Contributor:

Gul, Āg̲h̲ā, 1951- editor.

Houdt, Benny van, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9826.

Theoretical Computer Science and General Issues ; 9826

Language:

English

Subjects (All):

Computer logic.

Computer system failures.

Mathematical statistics.

Computers.

Computer simulation.

Logics and Meanings of Programs.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Computation by Abstract Devices.

Simulation and Modeling.

Local Subjects:

Logics and Meanings of Programs.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Computation by Abstract Devices.

Simulation and Modeling.

Physical Description:

1 online resource (XVII, 382 pages) : 91 illustrations.

Edition:

First edition 2016.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2016.

System Details:

text file PDF

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.

Contents:

Markov processes

Tools

Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis

Networks.

Other Format:

Printed edition:

ISBN:

978-3-319-43425-4

9783319434254

Access Restriction:

Restricted for use by site license.