New Frontiers in Quantitative Methods in Informatics

Description

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. Front Matter ....Pages I-X Front Matter ....Pages 1-1 Geofenced Broadcasts via Centralized Scheduling of Device-to-Device Communications in LTE-Advanced (Giovanni Nardini, Giovanni Stea, Antonio Virdis)....Pages 3-17 Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks (Simonetta Balsamo, Dieter Fiems, Mohsin Jafri, Andrea Marin)....Pages 18-31 Front Matter ....Pages 33-33 Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA (Mohammed Alotaibi, Nigel Thomas)....Pages 35-48 Modeling Crowd Behavior in a Theater (Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis)....Pages 49-54 Front Matter ....Pages 55-55 Vs-Driven Big Data Process Development (Rustem Dautov, Salvatore Distefano)....Pages 57-71 Capacity Planning of Fog Computing Infrastructures for Smart Monitoring (Riccardo Pinciroli, Marco Gribaudo, Manuel Roveri, Giuseppe Serazzi)....Pages 72-81 Performance Degradation and Cost Impact Evaluation of Privacy Preserving Mechanisms in Big Data Systems (Safia Kalwar, Eugenio Gianniti, Joas Yannick Kinouani, Youssef Ridene, Danilo Ardagna)....Pages 82-96 Auto-Scaling in Data Stream Processing Applications: A Model-Based Reinforcement Learning Approach (Valeria Cardellini, Francesco Lo Presti, Matteo Nardelli, Gabriele Russo Russo)....Pages 97-110 Front Matter ....Pages 111-111 \(\mathtt {Entang{\lambda }}\)e: A Translation Framework from Quipper Programs to Quantum Markov Chains (Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani)....Pages 113-126 Analysis of Non-Markovian Systems in GreatSPN (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 127-138 Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models (Stefano Caselli, Gianni Conte, Mauro Diligenti)....Pages 139-155 Mean Field Analysis for Continuous Time Bayesian Networks (Davide Cerotti, Daniele Codetta-Raiteri)....Pages 156-169 Back Matter ....Pages 171-171