4447 search results - page 558 / 890 » Model Checking Games |
187
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
153
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
184
click to vote
ISIPTA
2005
IEEE
16 years 12 days ago
2005
IEEE
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...
179
click to vote
COLT
2004
Springer
16 years 6 days ago
2004
Springer
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph specifies which consumers or economies are permitted to engage in...
203
click to vote
DSRT
2003
IEEE
16 years 3 days ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...