Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2018

New Frontiers in Quantitative Methods in Informatics

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

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)

Conference series link(s): InfQ: Workshop on New Frontiers in Quantitative Methods in Informatics

Conference proceedings info: InfQ 2017.

Sections

Buy it now

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

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

Table of contents (12 papers)

  1. Front Matter

    Pages I-X
    PDF

  2. Networking and Mobile Applications

    1. Front Matter

      Pages 1-1
      PDF

    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
      PDF

    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
      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
      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
    PDF
Back to top

Other Volumes

  1. New Frontiers in Quantitative Methods in Informatics

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Ca’ Foscari University of Venice, Venice, Italy

    Simonetta Balsamo, Andrea Marin

  • University of Florence, Florence, Italy

    Enrico Vicario

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation