On the logical characterisation of performability properties
Markov-reward models, as extensions of continuous-time Markov chains, have received
increased attention for the specification and evaluation of performance and dependability …
increased attention for the specification and evaluation of performance and dependability …
Markovian models for performance and dependability evaluation
BR Haverkort - School organized by the European Educational Forum, 2000 - Springer
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 …
performance and dependability of computer and communication systems. In this paper, we …
Transient analysis of manufacturing systems performance
We present several situations in manufacturing systems where transient analysis is very
important. Manufacturing systems and models in which such situations arise include …
important. Manufacturing systems and models in which such situations arise include …
Performability modelling tools and techniques
BR Haverkort, IG Niemegeers - Performance evaluation, 1996 - Elsevier
Over the last decade considerable effort has been put in the development of techniques to
assess the performance and the dependability of computer and communication systems in …
assess the performance and the dependability of computer and communication systems in …
Specification techniques for Markov reward models
Markov reward models (MRMs) are commonly used for the performance, dependability, and
performability analysis of computer and communication systems. Many papers have …
performability analysis of computer and communication systems. Many papers have …
Reliability and performability techniques and tools: A survey
KS Trivedi, M Malhotra - … , Modellierung und Bewertung von Rechen-und …, 1993 - Springer
Reliability and performability modeling techniques and tools have been an area of lot of
research activity in the last ten years. We present a survey of different techniques and tools …
research activity in the last ten years. We present a survey of different techniques and tools …
Dependability and performability analysis
In this tutorial, we discuss several practical issues regarding specification and solution of
dependability and performability models. We compare model types with and without …
dependability and performability models. We compare model types with and without …
State space exploration in Markov models
E de Souza e Silva, PM Ochoa - … of the 1992 ACM SIGMETRICS joint …, 1992 - dl.acm.org
Performance and dependability analysis is usually based on Markov models. One of the
main problems faced by the analyst is the large state space cardinality of the Markov chain …
main problems faced by the analyst is the large state space cardinality of the Markov chain …
[LIBRO][B] Information assurance: dependability and security in networked systems
In today's fast paced, infocentric environment, professionals increasingly rely on networked
information technology to do business. Unfortunately, with the advent of such technology …
information technology to do business. Unfortunately, with the advent of such technology …
[PDF][PDF] Specification and construction of performability models
Model-based performability evaluation of computer and communication systems requires
accurate and efficient techniques for model construction as well as model solution …
accurate and efficient techniques for model construction as well as model solution …