872 search results - page 46 / 175 » Automatic Generation of Detection Algorithms for Design Defe... |
PDSE
1998
13 years 10 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
PADL
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...