3516 search results - page 34 / 704 » Integrating Security Modeling into Embedded System Design |
ICPR
2004
IEEE
16 years 25 days ago
2004
IEEE
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...
114
click to vote
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
VLSID
2003
IEEE
16 years 3 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
We design and implement a cryptographic biometric authentication system using a microcoded architecture. The secure properties of the biometric matching process are obtained by me...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...