1632 search results - page 86 / 327 » Modeling billiards games |
115
click to vote
IH
2007
Springer
15 years 10 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
129
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
132
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper studies multicast application overlay networks in a repeated-game framework. In these overlays, users have both the motivation and the means to alter their position...
147
click to vote
ENTCS
2006
15 years 4 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
155
click to vote
IWEC
2010
15 years 2 months ago
2010
Abstract—We describe and analyze emergent behavior and its effect for a class of preypredators’ simulation models. The simulation uses rule-based agent behavior and follows a p...