6167 search results - page 169 / 1234 » Can Refinement be Automated |
145
Voted
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— We have demonstrated that a properlyequipped mobile robot can easily construct a detailed map of the wireless coverage of an urban environment. The Autonomous Vehicle f...
127
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...
130
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
120
click to vote
NOMS
2000
IEEE
15 years 9 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
141
Voted
ER
1998
Springer
15 years 8 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...