Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Van Houdt, Benny; Agha, Gul

Springer International Publishing AG

08/2016

382

Mole

Inglês

9783319434247

15 a 20 dias

6029

Descrição não disponível.
Markov processes.- Tools.- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis.- Networks.
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;probabilistic programs;security modeling;smart grid;stochastic petri net;verification