Sciweavers

319 search results - page 9 / 64
» formats 2003
Sort
View
ATAL
2003
Springer
14 years 2 months ago
Coalition formation through motivation and trust
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...
Nathan Griffiths, Michael Luck
FORMATS
2003
Springer
14 years 2 months ago
PARS: A Process Algebra with Resources and Schedulers
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...
CAISE
2003
Springer
14 years 2 months ago
Software Confederations and Alliances
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...
Jaroslav Král, Michal Zemlicka
SEFM
2003
IEEE
14 years 2 months ago
A Formal Model for Trust in Dynamic Networks
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...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
ICAI
2003
13 years 10 months ago
Autonomous Generation of Grounded Spatial Primitives for Agent Reasoning and Communication
— 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...
Eric G. Berkowitz, Brian E. Mastenbrook