


default search action
InfQ@VALUETOOLS 2017: Venice, Italy
- Simonetta Balsamo, Andrea Marin, Enrico Vicario:

New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. Communications in Computer and Information Science 825, Springer 2018, ISBN 978-3-319-91631-6
Networking and Mobile Applications
- Giovanni Nardini, Giovanni Stea, Antonio Virdis:

Geofenced Broadcasts via Centralized Scheduling of Device-to-Device Communications in LTE-Advanced. 3-17 - Simonetta Balsamo, Dieter Fiems, Mohsin Raza Jafri

, Andrea Marin:
Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks. 18-31
Applications of Quantitative Modeling
- Mohammed Alotaibi, Nigel Thomas:

Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA. 35-48 - Enrico Barbierato, Marco Gribaudo

, Mauro Iacono, Alexander H. Levis:
Modeling Crowd Behavior in a Theater. 49-54
Big Data Processing and IoT
- Rustem Dautov, Salvatore Distefano:

Vs-Driven Big Data Process Development. 57-71 - Riccardo Pinciroli

, Marco Gribaudo
, Manuel Roveri
, Giuseppe Serazzi:
Capacity Planning of Fog Computing Infrastructures for Smart Monitoring. 72-81 - Safia Kalwar

, Eugenio Gianniti, Joas Yannick Kinouani, Youssef Ridene, Danilo Ardagna
:
Performance Degradation and Cost Impact Evaluation of Privacy Preserving Mechanisms in Big Data Systems. 82-96 - Valeria Cardellini

, Francesco Lo Presti, Matteo Nardelli
, Gabriele Russo Russo
:
Auto-Scaling in Data Stream Processing Applications: A Model-Based Reinforcement Learning Approach. 97-110
Theory, Methods and Tools for Quantitative Analysis
- Linda Anticoli, Carla Piazza

, Leonardo Taglialegne, Paolo Zuliani
:
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. 113-126 - Elvio Gilberto Amparore, Susanna Donatelli:

Analysis of Non-Markovian Systems in GreatSPN. 127-138 - Stefano Caselli, Gianni Conte, Mauro Diligenti:

Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models. 139-155 - Davide Cerotti, Daniele Codetta Raiteri

:
Mean Field Analysis for Continuous Time Bayesian Networks. 156-169

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














