11324 search results - page 2125 / 2265 » Coordination Models and Languages |
182
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
172
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
186
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
170
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
174
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...