529 search results - page 75 / 106 » Model checking detectability of attacks in multiagent system... |
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
The problem of multi-robot patrol in adversarial environments has been gaining considerable interest during the recent years.In this problem, a team of mobile robots is required t...
AMC
2008
13 years 7 months ago
2008
Terrorism is a threat to global peace in our world today and in the future this terrorist threat is surely going to be important. Global terrorist groups have highly sophisticated...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
AHSWN
2006
13 years 7 months ago
2006
ABSTRACT Intrusion Detection Systems (IDSs) for Mobile Ad hoc NETworks (MANETs) are indispensable since traditional intrusion prevention based techniques are not strong enough to p...