Quantitative Evaluation of Systems
-15%
portes grátis
Quantitative Evaluation of Systems
13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Agha, Gul; Van Houdt, Benny
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
Markov processes.- Tools.- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis.- Networks.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
