970 search results - page 101 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
IJCNN
2007
IEEE
14 years 3 months ago
2007
IEEE
–The performability of disk arrays systems has been studied before. However, in the case of imprecise data, a fuzzy model can be the base for the performability analysis. This pa...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
IANDC
2010
13 years 7 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...