4469 search results - page 456 / 894 » A Language for Role Specifications |
169
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
147
click to vote
ITS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
219
click to vote
SPATIALCOGNITION
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
193
click to vote
ASM
2003
ASM
16 years 3 days ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
169
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...