4447 search results - page 610 / 890 » Model Checking Games |
162
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
175
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
180
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a novel interface for controlling crowd animation. Crowd animation is widely used in movie production and computer games. However, to make an intended cro...
213
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
191
click to vote
AICT
2006
IEEE
16 years 23 days ago
2006
IEEE
— As the number of online auction sites has increased, interest towards providing reliable summaries, reputations, about the past behaviour of sellers has risen. Existing approac...