4447 search results - page 275 / 890 » Model Checking Games |
220
click to vote
Lab
Our research is motivated by a strong conviction that business processes in electronic enterprises can be designed to deliver high levels of performance through the use of mathemat...
149
click to vote
MSCS
2006
15 years 4 months ago
2006
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
107
click to vote
ACL
2010
15 years 2 months ago
2010
We present a game-theoretic model of bargaining over a metaphor in the context of political communication, find its equilibrium, and use it to rationalize observed linguistic beha...
140
click to vote
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
This paper analyses the traffic characteristics of, and proposes a traffic model for, the Xbox game Halo 2. Our goal is to help players and network providers to estimate the amoun...
133
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...