251 search results - page 36 / 51 » A Formal Approach to Test the Robustness of Embedded Systems... |
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
DSRT
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
CLEF
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
ICADL
2004
Springer
14 years 3 days ago
2004
Springer
A robust character region identification approach is proposed here to deal with cover images using a differential top-hat transformation (DTT). The DTT is derived from morphologica...
JAR
2000
13 years 6 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...