New Frontiers in Quantitative Methods in Informatics

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

Simonetta Balsamo, Andrea Marin, Enrico Vicario (Herausgeber)

Buch | Softcover

X, 171 Seiten

2018 | 1st ed. 2018
Springer International Publishing (Verlag)
978-3-319-91631-6 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.
The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.

Networking and mobile applications.- Applications of quantitative modeling.- Big data processing and IoT.- Theory, methods and tools for quantitative analysis.

Erscheinungsdatum	16.06.2018
Reihe/Serie	Communications in Computer and Information Science
Zusatzinfo	X, 171 p. 85 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	290 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik
Schlagworte	Cloud Computing • formal methods • graph theory • markov chains • Model Checking • Optimization • Performance Evaluation • Petri Nets • Probabilistic Systems • Probability • quantitative modelling formalisms • Queueing Networks • Queueing Systems • Routers • Software engineering • statistical solution • Stochastic Processes • Stochastic Systems • telecommunication traffic • wireless sensor networks
ISBN-10	3-319-91631-9 / 3319916319
ISBN-13	978-3-319-91631-6 / 9783319916316
Zustand	Neuware