6199 search results - page 113 / 1240 » Monitoring the |
126
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
131
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Many robotics applications require a human operator to monitor multiple robots that collaborate to achieve the operator’s goals. Most approaches to such monitoring fo...
149
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
177
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
One specific problem in wide-area distributed computing environment is effective management of the vast amount of resources that are made available within the grid environment. Th...
135
click to vote
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...