3765 search results - page 79 / 753 » Formal Methods for Systems Engineering Behavior Models |
126
click to vote
JSW
2007
15 years 2 months ago
2007
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
128
click to vote
AIPS
2000
15 years 3 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
103
click to vote
MPC
1998
Springer
15 years 6 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
118
click to vote
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
130
Voted
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...