3765 search results - page 622 / 753 » Qualitative Action Systems |
134
click to vote
ACOM
2004
Springer
15 years 9 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
154
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
215
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
130
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
154
click to vote
FGR
2004
IEEE
15 years 9 months ago
2004
IEEE
It is argued that for the computer to be able to interact with humans, it needs to have the communication skills of humans. One of these skills is the ability to understand the em...