4447 search results - page 17 / 890 » Model Checking Games |
130
click to vote
VSGAMES
2010
15 years 1 months ago
2010
—The paper introduces a conceptual model for the design of serious games and uses the Technology Acceptance Model (TAM) for its validation. A specially developed game introduced ...
111
click to vote
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
133
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
