↓ Skip to main content

Quantitative Evaluation of Systems

Overview of attention for book
Cover of 'Quantitative Evaluation of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Uniting Academic Achievements on Performance Analysis with Industrial Needs
  3. Altmetric Badge
    Chapter 2 Quantitative Evaluation of Systems
  4. Altmetric Badge
    Chapter 3 A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living
  5. Altmetric Badge
    Chapter 4 Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory
  6. Altmetric Badge
    Chapter 5 PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure
  7. Altmetric Badge
    Chapter 6 U-Check: Model Checking and Parameter Synthesis Under Uncertainty
  8. Altmetric Badge
    Chapter 7 mapfit: An R-Based Tool for PH/MAP Parameter Estimation
  9. Altmetric Badge
    Chapter 8 A Compression App for Continuous Probability Distributions
  10. Altmetric Badge
    Chapter 9 Computing Structural Properties of Symmetric Nets
  11. Altmetric Badge
    Chapter 10 Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
  12. Altmetric Badge
    Chapter 11 Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses
  13. Altmetric Badge
    Chapter 12 A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds
  14. Altmetric Badge
    Chapter 13 Quantitative Placement of Services in Hierarchical Clouds
  15. Altmetric Badge
    Chapter 14 Characterizing Data Dependence Constraints for Dynamic Reliability Using N -Queens Attack Domains
  16. Altmetric Badge
    Chapter 15 Quantitative Analysis of Consistency in NoSQL Key-Value Stores
  17. Altmetric Badge
    Chapter 16 Impact of Policy Design on Workflow Resiliency Computation Time
  18. Altmetric Badge
    Chapter 17 Perfect Sampling for Multiclass Closed Queueing Networks
  19. Altmetric Badge
    Chapter 18 Power and Effectiveness in Queueing Systems
  20. Altmetric Badge
    Chapter 19 A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
  21. Altmetric Badge
    Chapter 20 Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Attention for Chapter 20: Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Chapter number 20
Book title
Quantitative Evaluation of Systems
Published by
Springer, Cham, September 2015
DOI 10.1007/978-3-319-22264-6_20
Book ISBNs
978-3-31-922263-9, 978-3-31-922264-6
Authors

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