Información General

• Autores: Francisco Javier Campos Laclaustra (coord.), Boudewijn R Haverkort (coord.)
• Editores: Springer Berlin, Heidelberg
• Año de publicación: 2015
• País: Alemania
• Idioma: inglés
• ISBN: 9783319222639
• Texto completo no disponible (Saber más ...)

Resumen

• This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Keynote Presentation

    • Uniting Academic Achievements on Performance Analysiswith Industrial Nee

      Bart Theelen, Jozef Hooman

      • Resumen

      págs. 3-20

      

  • Modelling and Applications

    • Stochastic Modeling for Performance Evaluation of DatabaseReplication Protoco

      Peter Popov, Kizito Salako, Vladimir Stankovic

      • Resumen

      págs. 21-37

      

    • A Continuous-Time Model-Based Approach to Activity Recognitionfor Ambient Assisted Livi

      Laura Carnevali, Thomas Christopher Nugent, Fulvio Patara, Enrico Vicario

      págs. 38-53

      

    • Power Trading Coordination in Smart Grids Using Dynamic Learningand Coalitional Game Theo

      Farshad Shams, Mirco Tribastone

      • Resumen

      págs. 54-69

      

    • PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure

      Varun Badrinath Krishna, Gabriel A. Weaver, William H. Sanders III

      • Resumen

      págs. 70-88

      

  • Tools

    • U-Check: Model Checking and Parameter Synthesis Under Uncertaint

      Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

      • Resumen

      págs. 89-104

      

    • mapfit: An R-Based Tool for PH/MAP Parameter Estimation

      Hiroyuki Okamura, Tadashi Dohi

      • Resumen

      págs. 105-112

      

    • A Compression App for Continuous Probability Distributions

      Michael Bungert, Holger Hermanns, Reza Pulungan

      • Resumen

      págs. 113-124

      

  • Petri Nets, Process Algebra and Fault Trees

    • Computing Structural Properties of Symmetric Nets

      Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

      • Resumen

      págs. 125-140

      

    • Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

      Tomáš Brázdil, Aźuboš KorenăźIak, Jan Krăźál, Petra Nowotny, Vojtech Rehák

      • Resumen

      págs. 141-159

      

    • Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses

      Andrea Marin, Sabina Rossi

      • Resumen

      págs. 160-175

      

    • A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds

      J.M. Fourneau, Nihal Pekergin

      • Resumen

      págs. 176-191

      

  • Applications

    • Quantitative Placement of Services in Hierarchical Clouds

      Asser N. Tantawi

      • Resumen

      págs. 195-210

      

    • Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains

      Ulya Bayram

      págs. 211-227

      

    • Quantitative Analysis of Consistency in NoSQL Key-Value Stores

      Si Liu, Jose Meseguer, Muntasir Raihan Rahman, Indranil Gupta

      • Resumen

      págs. 228-243

      

    • Impact of Policy Design on Workflow Resiliency Computation Time

      John Mace Grunsfeld, Charles Morisset, Aad van Moorsel

      • Resumen

      págs. 244-259

      

  • Queueing Systems and Hybrid Systems

    • Perfect Sampling for Multiclass Closed Queueing Networks

      Anne Bouillard, Ana Bušić

      • Resumen

      págs. 263-278

      

    • Power and Effectiveness in Queueing Syste

      Gerardo Rubino

      • Resumen

      págs. 279-294

      

    • A Solving Procedure for Stochastic Satisfiability Modulo Theorieswith Continuous Doma

      Yang Gao, Martin Fränzle

      • Resumen

      págs. 295-311

      

    • Bayesian Statistical Analysis for Performance Evaluation in Real-TimeControl System

      Pontus Boström, Matti Linjama, Marina Waldén, Mikko Heikkilä, Mikko Huova

      • Resumen

      págs. 312-328