New Frontiers in Quantitative Methods in Informatics

New Frontiers in Quantitative Methods in Informatics

7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Vicario, Enrico; Marin, Andrea; Balsamo, Simonetta

Springer International Publishing AG

05/2018

171

Mole

Inglês

9783319916316

15 a 20 dias

454

Descrição não disponível.
Networking and mobile applications.- Applications of quantitative modeling.- Big data processing and IoT.- Theory, methods and tools for quantitative analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
cloud computing;formal methods;graph theory;Markov chains;model checking;optimization;performance evaluation;Petri nets;probability;queueing networks;queueing systems;routers;software engineering;stochastic processes;telecommunication traffic;wireless sensor networks