Sciweavers

3729 search results - page 68 / 746
» On Formal Modeling of Agent Computations
Sort
View
BIRTHDAY
2004
Springer
15 years 5 months ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
FAST
2009
14 years 9 months ago
A Formal Model of Provenance in Distributed Systems
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
Issam Souilah, Adrian Francalanza, Vladimiro Sasso...
AAAI
2004
15 years 1 months ago
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
Francesca Rossi, Kristen Brent Venable, Toby Walsh
IADIS
2004
15 years 1 months ago
ATEAM - agent mediated team performance model
This paper introduces a study about managing the performance of virtual teams using intelligent agents. Through a review of previous research, the paper starts by contextually sit...
Mauro Nunes, Henrique O'Neill
MATA
2001
Springer
15 years 4 months ago
The Spider Model of Agents
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
F. Y. Huang, David B. Skillicorn