default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInfQ@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.
last updated on 2026-05-01 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
