4447 search results - page 614 / 890 » Model Checking Games |
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The Resource Description Framework (RDF) provides a common data model for the integration of emerging "real-time" streams of social and sensor data with the Web...
148
click to vote
CGA
2006
15 years 6 months ago
2006
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
157
click to vote
EOR
2007
15 years 6 months ago
2007
Recent results have used game theory to explore the nature of optimal investments in the security of simple series and parallel systems. However, it is clearly important in practi...
174
click to vote
TCS
2008
15 years 6 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
133
click to vote
IOR
2007
15 years 6 months ago
2007
Abstract. Every fall, millions of Americans enter betting pools to pick winners of the weekly NFL football games. In the spring, NCAA tournament basketball pools are even more popu...