4447 search results - page 474 / 890 » Model Checking Games |
208
click to vote
WSCG
2004
15 years 9 months ago
2004
3D design software has since long employed graphics chips for low-quality real-time previewing. But their dramatically increased computing power now paves the way to accelerate th...
213
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
229
click to vote
IJAMC
2010
15 years 6 months ago
2010
: This paper presents the design, implementation and evaluation of Deadline-Driven Auctions (DDA), a novel task mapping infrastructure for heterogeneous distributed environments. D...
240
click to vote
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
169
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
: We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher who wishes to reach the objec...