Sciweavers

2979 search results - page 464 / 596
» Modelling secure multiagent systems
Sort
View
131
Voted
JAPLL
2010
104views more  JAPLL 2010»
15 years 1 months ago
Group announcement logic
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Philippe Balbiani, Hans P. v...
AGI
2011
14 years 7 months ago
Compression and Intelligence: Social Environments and Communication
Compression has been advocated as one of the principles which pervades inductive inference and prediction - and, from there, it has also been recurrent in definitions and tests of...
David L. Dowe, José Hernández-Orallo...
ATAL
2011
Springer
14 years 3 months ago
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
Munindar P. Singh
ECWEB
2011
Springer
277views ECommerce» more  ECWEB 2011»
14 years 3 months ago
Trust-Based Selection of Partners
The community of multi-agent systems has been studying ways to improve the selection of partner agents for joint action. One of such approaches consists in estimating the trustwort...
Joana Urbano, Ana Paula Rocha, Eugénio C. O...
138
Voted
MOBISYS
2007
ACM
16 years 3 months ago
A time-and-value centric provenance model and architecture for medical event streams
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
Min Wang, Marion Blount, John Davis, Archan Misra,...