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

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
• Edizione: 1st ed. 2016.
• Descrizione fisica: 1 online resource (XVII, 382 p. 91 illus.)
• Disciplina: 004.24
• Soggetto topico: 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
• Persona (resp. second.): AghaGul; Van HoudtBenny
• Nota di contenuto: Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
• Sommario/riassunto: 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.
• Titolo autorizzato: Quantitative Evaluation of Systems
• ISBN: 3-319-43425-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466036403316
• Lo trovi qui: Univ. di Salerno
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 9826