Sciweavers

Share
3 search results - page 1 / 1
» eef 2000
Sort
View
EEF
2000
8 years 8 months ago
Process Algebra and Markov Chains
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
Ed Brinksma, Holger Hermanns
EEF
2000
8 years 8 months ago
Markovian Models for Performance and Dependability Evaluation
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...
Boudewijn R. Haverkort
EEF
2000
8 years 8 months ago
Distributed and Structured Analysis Approaches to Study Large and Complex Systems
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
Gianfranco Ciardo
books