21319 search results - page 3559 / 4264 » An Approach for Method Reengineering |
217
click to vote
COMSWARE
2006
IEEE
16 years 1 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
166
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Power distribution and signal transmission are becoming key limiters for chip performance in nanometer era. These issues can be simultaneously addressed by designing transmission ...
167
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
231
click to vote
EUROMICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
214
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
Illumination invariance remains the most researched, yet the most challenging aspect of automatic face recognition. In this paper we propose a novel, general recognition framework...