1912 search results - page 273 / 383 » GOAL as a Planning Formalism |
182
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
190
click to vote
MDM
2005
Springer
15 years 12 months ago
2005
Springer
This paper introduces a new family of Generic and Progressive algorithms (GPAC, for short) for continuous mobile queries over mobile objects. GPAC provides a general skeleton that...
164
click to vote
DOLAP
2004
ACM
15 years 12 months ago
2004
ACM
Computer system sizing involves estimating the amount of hardware resources needed to support a new workload not yet deployed in a production environment. In order to determine th...
188
click to vote
ASWSD
2004
Springer
15 years 11 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
181
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
New applications for autonomous robots bring them into the human environment where they are to serve as helpful assistants to untrained users in the home or office, or work as ca...