↓ Skip to main content
What is this page? Embed badge

Formal Methods and Stochastic Models for Performance Evaluation

Overview of attention for book
Cover of 'Formal Methods and Stochastic Models for Performance Evaluation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Precedence PEPA Model for Performance and Reliability Analysis
  3. Altmetric Badge
    Chapter 2 A Function-Equivalent Components Based Simplification Technique for PEPA Models
  4. Altmetric Badge
    Chapter 3 Functional Performance Specification with Stochastic Probes
  5. Altmetric Badge
    Chapter 4 Embedding Real Time in Stochastic Process Algebras
  6. Altmetric Badge
    Chapter 5 Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results
  7. Altmetric Badge
    Chapter 6 Working Set Characterization of Applications with an Efficient LRU Algorithm
  8. Altmetric Badge
    Chapter 7 Model Checking for a Class of Performance Properties of Fluid Stochastic Models
  9. Altmetric Badge
    Chapter 8 Explicit Inverse Characterizations of Acyclic MAPs of Second Order
  10. Altmetric Badge
    Chapter 9 Implementation Relations for Stochastic Finite State Machines
  11. Altmetric Badge
    Chapter 10 On the Convergence Rate of Quasi Lumpable Markov Chains
  12. Altmetric Badge
    Chapter 11 Applying the UML Class Diagram in the Performance Analysis
  13. Altmetric Badge
    Chapter 12 Dependability Evaluation of Web Service-Based Processes
  14. Altmetric Badge
    Chapter 13 Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic
  15. Altmetric Badge
    Chapter 14 Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering
  16. Altmetric Badge
    Chapter 15 The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System
  17. Altmetric Badge
    Chapter 16 Experimental Analysis of the Correlation of HTTP GET Invocations
Attention for Chapter 4: Embedding Real Time in Stochastic Process Algebras
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
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
Embedding Real Time in Stochastic Process Algebras
Chapter number 4
Book title
Formal Methods and Stochastic Models for Performance Evaluation
Published by
Springer, Berlin, Heidelberg, June 2006
DOI 10.1007/11777830_4
Book ISBNs
978-3-54-035362-1, 978-3-54-035365-2
Authors

Jasen Markovski, Erik P. de Vink, Markovski, Jasen, Vink, Erik P. de, de Vink, Erik P.

View on publisher site

This page is provided by Altmetric.