1953 search results - page 283 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
FMCO
2009
Springer
14 years 7 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
ASE
2006
14 years 10 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
120
click to vote
IRREGULAR
1997
Springer
15 years 2 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...