4447 search results - page 271 / 890 » Model Checking Games |
123
click to vote
WINE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose an extensive-form game as a model for pricing roaming charges in 802.11 wireless data networks. We specify utility functions for the three agents involved in t...
136
click to vote
CGI
1997
IEEE
15 years 9 months ago
1997
IEEE
In this article we propose a model of a tennis game simulation with synthetic actors as players and a referee. The behavior of these actors is based on their synthetic vision and ...
157
click to vote
EURONGI
2006
Springer
15 years 8 months ago
2006
Springer
This is a framework for resource allocation in a heterogeneous system composed of various access networks, for instance Third Generation wireless networks (3G) and WLAN, in the pre...
129
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
117
Voted
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...