277 search results - page 29 / 56 » A Specification Language for Coordination in Agent Systems |
VL
1998
IEEE
14 years 27 days ago
1998
IEEE
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
DAGSTUHL
2003
13 years 10 months ago
2003
— The paper focuses on the problem how a community of distributed agents may autonomously invent and coordinate lexicons and grammars. Although our earlier experiments have shown...
CAV
2009
Springer
14 years 20 days ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
EWSPT
2001
Springer
14 years 1 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
CLIMA
2006
13 years 10 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...