289 search results - page 22 / 58 » Verification Patterns for Rapid Embedded System Verification |
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
There is increasing interest in the development of reliable, rapid and non-intrusive security control systems. Among the many approaches, biometrics such as palmprints provide hig...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Digital Watermarking is seen as a viable solution to authentication of multimedia data and hence its security, especially in a networked environment. In this paper we present a ne...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
The falling cost of embedded sensor systems has opened up the possibility of in-transit air-coupled ultrasound interior imaging of shipping container cargo. This new technology co...
ESTIMEDIA
2003
Springer
14 years 21 days ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...