1192 search results - page 180 / 239 » Variation-Aware Fault Modeling |
142
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
135
click to vote
CPAIOR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
132
click to vote
JSW
2006
15 years 4 months ago
2006
Abstract-- Solving complex real-world problems using evolutionary computation is a CPU time-consuming task that requires a large amount of computational resources. Peerto-Peer (P2P...
139
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
157
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...