489 search results - page 13 / 98 » On the Execution of ODP Computational Specifications |
HRI
2006
ACM
2006
ACM
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
14 years 1 months ago
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
AI
2005
Springer
13 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
FTDCS
1997
IEEE
13 years 11 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
ICPP
2000
IEEE
13 years 11 months ago
2000
IEEE
The idle computers on a local area, campus area, or even wide area network represent a significant computational resource--one that is, however, also unreliable, heterogeneous, an...