529 search results - page 83 / 106 » Model checking detectability of attacks in multiagent system... |
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—Intrusion Detection Systems (IDS) have become ubiquitous in the defense against virus outbreaks, malicious exploits of OS vulnerabilities, and botnet proliferation. As attackers...
ICMCS
2010
IEEE
13 years 7 months ago
2010
IEEE
In daily life, we can see images of real-life objects on posters, television, or virtually any type of smooth physical surfaces. We seldom confuse these images with the objects pe...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...