289 search results - page 22 / 58 » Verification Patterns for Rapid Embedded System Verification |
111
Voted
ICPR
2004
IEEE
16 years 3 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...
141
Voted
ICIP
2000
IEEE
16 years 4 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...
68
Voted
ICASSP
2008
IEEE
15 years 9 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...
123
Voted
ESTIMEDIA
2003
Springer
15 years 7 months 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...
109
Voted
CAV
2010
Springer
15 years 6 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...