Skip to main content
SpringerLink
Log in

New Frontiers in Quantitative Methods in Informatics

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Simonetta Balsamo

    1. Ca’ Foscari University of Venice, Venice, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrea Marin

    1. Ca’ Foscari University of Venice, Venice, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Enrico Vicario

    1. University of Florence, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 825)

Included in the following conference series:

Conference proceedings info: InfQ 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Networking and Mobile Applications

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Geofenced Broadcasts via Centralized Scheduling of Device-to-Device Communications in LTE-Advanced

      • Giovanni Nardini, Giovanni Stea, Antonio Virdis
      Pages 3-17

    3. Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks

      • Simonetta Balsamo, Dieter Fiems, Mohsin Jafri, Andrea Marin
      Pages 18-31

  3. Applications of Quantitative Modeling

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA

      • Mohammed Alotaibi, Nigel Thomas
      Pages 35-48

    3. Modeling Crowd Behavior in a Theater

      • Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis
      Pages 49-54

  4. Big Data Processing and IoT

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Vs-Driven Big Data Process Development

      • Rustem Dautov, Salvatore Distefano
      Pages 57-71

    3. Capacity Planning of Fog Computing Infrastructures for Smart Monitoring

      • Riccardo Pinciroli, Marco Gribaudo, Manuel Roveri, Giuseppe Serazzi
      Pages 72-81

    4. 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

    5. 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

  5. Theory, Methods and Tools for Quantitative Analysis

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. \(\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

    3. Analysis of Non-Markovian Systems in GreatSPN

      • Elvio Gilberto Amparore, Susanna Donatelli
      Pages 127-138

    4. Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models

      • Stefano Caselli, Gianni Conte, Mauro Diligenti
      Pages 139-155

    5. Mean Field Analysis for Continuous Time Bayesian Networks

      • Davide Cerotti, Daniele Codetta-Raiteri
      Pages 156-169

  6. Back Matter

    Pages 171-171
    Download chapter PDF
Back to top

Other volumes

  1. New Frontiers in Quantitative Methods in Informatics

Keywords

About this book

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.

Editors and Affiliations

  • Ca’ Foscari University of Venice, Venice, Italy

    Simonetta Balsamo, Andrea Marin

  • University of Florence, Florence, Italy

    Enrico Vicario

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation