Sciweavers

2979 search results - page 23 / 596
» Modelling secure multiagent systems
Sort
View
ATAL
2010
Springer
13 years 8 months ago
Strategic executions of choreographed timed normative multi-agent systems
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
AMAST
1995
Springer
13 years 11 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
CIS
2007
Springer
14 years 1 months ago
A Context-Based Analysis of Intrusion Detection for Policy Violation
Existing intrusion detection systems (IDS) operate independently from security policy enforcement mechanism. In current IDS the functionality has been restricted to detecting only...
Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang
ESAW
2004
Springer
14 years 23 days ago
Cooperative Agent Model Instantiation to Collective Robotics
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
Gauthier Picard
WOA
2007
13 years 8 months ago
A Framework for Interacting Situated Agents in Virtual Environments
—This paper presents a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the Multilayere...
Giuseppe Vizzari, Giorgio Pizzi, Flávio S. ...