221 search results - page 26 / 45 » Embedded Fingerprint Verification System |
PODS
2008
ACM
14 years 10 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
ICIP
2000
IEEE
14 years 11 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 4 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...
CAV
2010
Springer
14 years 1 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...