1446 search results - page 250 / 290 » Formal analysis of hardware requirements |
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
DFT
2008
IEEE
14 years 2 months ago
2008
IEEE
It is widely recognized that device and interconnect fabrics at the nanoscale will be characterized by an increased susceptibility to transient faults. This appears to be intrinsi...
AVSS
2007
IEEE
14 years 2 months ago
2007
IEEE
In recent years, the use of Intelligent Closed-Circuit Television (ICCTV) for crime prevention and detection has attracted significant attention. Existing face recognition system...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Wormhole attack is a severe attack in wireless ad-hoc networks. Most of the previous work eliminate the effect of wormhole attack by examining the distance or communication time o...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Component-based software engineering (CBSE) and service-oriented software engineering (SOSE) are two of the most dominant engineering paradigms in current software community and i...