WP4 Quantitative Aspects of Services |
|
Within the scope of the SENSORIA project we developed stochastic techniques for analysing quantitative aspects of services. Deliverables - D4.1.a: Stochastic Core Calculi
- D4.1.b: Stochastic Reasoning on Core Calculi
- D4.2.a: Stochastic Logics
- D4.2.b: Model Checking Stochastic Logics
- D4.3.a: Quantitative Measurements of Quality of Service for Service Level Agreements
- D4.4.a: Quantitative Techniques for Measuring Resource Usage
- D4.4.b: Quantitative techniques for measuring resource usage (second version)
- D4.a: Quantitative Reasoning on the Financial Case Study
|