2979 search results - page 258 / 596 » Modelling secure multiagent systems |
134
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
167
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
151
click to vote
PADS
2009
ACM
15 years 11 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
126
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
142
click to vote
CHI
1995
ACM
15 years 8 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...