4447 search results - page 272 / 890 » Model Checking Games |
140
click to vote
ISTA
2003
15 years 6 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
133
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
149
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
140
click to vote
ISIPTA
2003
IEEE
15 years 10 months ago
2003
IEEE
We discuss two approaches for choosing a strategy in a two-player game. We suppose that the game is played a large number of rounds, which allows the players to use observations o...
122
click to vote
NETGAMES
2003
ACM
15 years 10 months ago
2003
ACM
One of the most important aspects in determining the global traffic characteristics of on-line games is to model the traffic behavior of the client. While modeling the client ON-O...