2979 search results - page 135 / 596 » Modelling secure multiagent systems |
189
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
142
click to vote
KBS
2006
15 years 6 months ago
2006
The organizational architecture of the multi-agent systems and the structure of social knowledge that the members of the community administer are critical factors for assuring suc...
156
click to vote
AAAI
2010
15 years 7 months ago
2010
Embedded systems consisting of collaborating agents capable of interacting with their environment are becoming ubiquitous. It is crucial for these systems to be able to adapt to t...
175
click to vote
AICCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute ...
155
click to vote
CEEMAS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. HeCaSe2 is a multi-agent system that intends to help doctors to apply clinical guidelines to their patients in a semi-automatic fashion. HeCaSe2 agents need a lot of (sca...