4447 search results - page 302 / 890 » Model Checking Games |
137
Voted
NETGAMES
2004
ACM
15 years 10 months ago
2004
ACM
Large-scale multiplayer online games require considerable investment in hosting infrastructures. However, the difficulty of predicting the success of a new title makes investing ...
135
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
172
Voted
TMC
2011
14 years 12 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
136
click to vote
PDPTA
2003
15 years 6 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
159
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...