Sciweavers

2638 search results - page 218 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
CEEMAS
2005
Springer
16 years 4 days ago
Adversarial Behavior in Multi-agent Systems
Adversariality of the agents with respect to the multi-agent system can be a serious issue in the design of open multi-agent systems. Until now, many incoherent definitions of suc...
Martin Rehák, Michal Pechoucek, Jan Tozicka
RIVF
2003
15 years 8 months ago
Overview of Game Theory and Using to model the Knowledge of multi-agent system
— Game theory models and analyzes the situations of conflict and cooperation among independent decision-makers. We can view the runs of a multi-agent system as a game where the ...
Thuy Lien Pham, Marc Bui, Michel Lamure
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
SIGMOD
2009
ACM
142views Database» more  SIGMOD 2009»
16 years 6 months ago
A grammar-based entity representation framework for data cleaning
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
Arvind Arasu, Raghav Kaushik
ICCS
2005
Springer
16 years 3 days ago
The Dynamics of Computing Agent Systems
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
Maciej Smolka, Piotr Uhruski, Robert Schaefer, Mar...