Sciweavers

3733 search results - page 239 / 747
» Logics of communication and change
Sort
View
MA
1997
Springer
127views Communications» more  MA 1997»
15 years 5 months ago
The Architecture of the Ara Platform for Mobile Agents
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
Holger Peine, Torsten Stolpmann
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 5 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren
ESWS
2007
Springer
15 years 5 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
ATAL
2008
Springer
15 years 3 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio
ACOM
2006
Springer
15 years 3 months ago
ACL Semantics Between Social Commitments and Mental Attitudes
Abstract. There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we tran...
Guido Boella, Rossana Damiano, Joris Hulstijn, Lee...