Cooperation is the fundamental underpinning of multi-agent systems, allowing agents to interact to achieve their goals. Where agents are self-interested, or potentially unreliable...
In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this app...
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas...
Global processes imply that the information systems have the architecture of virtual peer-to-peer networks of autonomous permanent services. It is typical for IS supporting e-gover...
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
— In this paper we describe ASPARC, a system for independent formation of an agent’s specific set of grounded primitive spatial concepts. ASPARC is intended to demonstrate the...