7393 search results - page 502 / 1479 » Synthesis-for-testability using transformations |
170
click to vote
SAFECOMP
2007
Springer
16 years 24 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
170
click to vote
HICSS
2006
IEEE
16 years 22 days ago
2006
IEEE
After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
202
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— Scan-matching based on data from a laser scanner is frequently used for mapping and localization. This paper presents an scan-matching approach based instead on visual informat...
176
click to vote
W4A
2006
ACM
16 years 19 days ago
2006
ACM
While mobile phones are becoming more popular, wireless communication vendors and device manufacturers are seeking new applications for their products. Access to the large corpus ...
182
click to vote
WCRE
2005
IEEE
16 years 7 days ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...