4036 search results - page 124 / 808 » Formal Methods |
121
Voted
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
I n this paper, we investigate the problem of stabilization, and detection and tracking of moving or stationary objects in a forward-looking infrared (FLIR) sequence. A multifract...
123
Voted
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
134
click to vote
AAAI
1998
15 years 6 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
150
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
139
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...