Ir al contenido

Documat

Quantitative evaluation of systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Imagen de portada del libro Quantitative evaluation of systems

Información General

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

Listado de artículos

    • Keynote Presentation

      • Uniting Academic Achievements on Performance Analysiswith Industrial Nee

        Bart Theelen, Jozef Hooman

        págs. 3-20

        Artículo

    • Modelling and Applications

      • Stochastic Modeling for Performance Evaluation of DatabaseReplication Protoco

        Peter Popov, Kizito Salako, Vladimir Stankovic

        págs. 21-37

        Artículo

      • 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

        Artículo

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

        Farshad Shams, Mirco Tribastone

        págs. 54-69

        Artículo

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

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

        págs. 70-88

        Artículo

    • Tools

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

        Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

        págs. 89-104

        Artículo

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

        Hiroyuki Okamura, Tadashi Dohi

        págs. 105-112

        Artículo

      • A Compression App for Continuous Probability Distributions

        Michael Bungert, Holger Hermanns Árbol académico, Reza Pulungan

        págs. 113-124

        Artículo

    • Petri Nets, Process Algebra and Fault Trees

      • Computing Structural Properties of Symmetric Nets

        Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

        págs. 125-140

        Artículo

      • 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

        págs. 141-159

        Artículo

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

        Andrea Marin, Sabina Rossi

        págs. 160-175

        Artículo

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

        J.M. Fourneau, Nihal Pekergin

        págs. 176-191

        Artículo

    • Applications

      • Quantitative Placement of Services in Hierarchical Clouds

        Asser N. Tantawi

        págs. 195-210

        Artículo

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

        Ulya Bayram

        págs. 211-227

        Artículo

      • Quantitative Analysis of Consistency in NoSQL Key-Value Stores

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

        págs. 228-243

        Artículo

      • Impact of Policy Design on Workflow Resiliency Computation Time

        John Mace Grunsfeld, Charles Morisset, Aad van Moorsel

        págs. 244-259

        Artículo

    • Queueing Systems and Hybrid Systems

      • Perfect Sampling for Multiclass Closed Queueing Networks

        Anne Bouillard, Ana Bušić

        págs. 263-278

        Artículo

      • Power and Effectiveness in Queueing Syste

        Gerardo Rubino Árbol académico

        págs. 279-294

        Artículo

      • A Solving Procedure for Stochastic Satisfiability Modulo Theorieswith Continuous Doma

        Yang Gao, Martin Fränzle

        págs. 295-311

        Artículo

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

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

        págs. 312-328

        Artículo
Fundación Dialnet

Mi Documat

Opciones de libro

Opciones de compartir

Opciones de entorno