6608 search results - page 999 / 1322 » On the Completeness of Model Checking |
138
Voted
DSN
2006
IEEE
16 years 24 days ago
2006
IEEE
As most computer systems are expected to remain operational 24 hours a day, 7 days a week, they must complete maintenance work while in operation. This work is in addition to the ...
159
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...
176
click to vote
DSN
2005
IEEE
16 years 11 days ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
162
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
— Personal service robots are expected to help people in their everyday life in the near future. Such robots must be able to not only move around but also perform various operati...
175
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— To keep pace with recent advances in microrobotic structures demands actuator technologies which can deliver high power and precise motion. For electroactive material b...