Sciweavers

2812 search results - page 49 / 563
» Secrecy in Multiagent Systems
Sort
View
CAISE
2006
Springer
15 years 8 months ago
Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...
JSW
2008
122views more  JSW 2008»
15 years 4 months ago
Security of Distributed Digital Criminal Dossiers
Abstract-- Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to...
Martijn Warnier, Frances M. T. Brazier, Anja Oskam...
LOGCOM
2006
82views more  LOGCOM 2006»
15 years 4 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard
AAMAS
2004
Springer
15 years 4 months ago
Temporal Development Methods for Agent-Based
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
Michael Fisher
PAAMS
2010
Springer
15 years 2 months ago
Open MAS Architecture. Providing Real Time Solutions
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
Martí Navarro, Sara Rodríguez, Vicen...