10159 search results - page 484 / 2032 » System Design Validation Using Formal Models |
123
click to vote
MABS
2000
Springer
15 years 8 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
149
click to vote
FORTE
2010
15 years 6 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
126
Voted
ITC
1999
IEEE
15 years 9 months ago
1999
IEEE
Design diversity has long been used to protect redundant systems against common-mode failures. The conventional notion of diversity relies on "independent" generation of...
416
click to vote
BPM
2011
Springer
14 years 5 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
152
click to vote
AIPS
2007
15 years 7 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...