4447 search results - page 470 / 890 » Model Checking Games |
173
click to vote
CSL
2005
Springer
16 years 1 months ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
207
click to vote
INFOCOM
2003
IEEE
16 years 29 days ago
2003
IEEE
— We propose a game theoretic pricing mechanism for statistically guaranteed service in packet-switched networks. The mechanism provides congestion control, differentiated qualit...
200
click to vote
AGI
2008
15 years 9 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
189
click to vote
CG
2002
Springer
15 years 7 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
223
click to vote
FAC
2007
15 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...