3516 search results - page 34 / 704 » Integrating Security Modeling into Embedded System Design |
ICPR
2004
IEEE
14 years 10 months 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...
CODES
2001
IEEE
14 years 12 days 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
14 years 9 months 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
14 years 2 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
14 years 2 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 ...