6608 search results - page 1154 / 1322 » On the Completeness of Model Checking |
143
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
133
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
138
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In many distributed computing systems that are prone to either induced or spontaneous node failures, the number of available computing resources is dynamically changing in a rando...
132
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
- In this paper, we present a novel technique for calibrating central omnidirectional cameras. The proposed procedure is very fast and completely automatic, as the user is only ask...
128
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...