1033 search results - page 12 / 207 » Properties of Exercise Strategies |
EVOW
2011
Springer
14 years 1 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the bestknown attempt to construct a framework for expressing various security properties. We examine th...
DSS
2006
14 years 10 months ago
2006
We describe a decision support system (DSS) that was developed for the management of the costs associated with the payment of fees to protect the intellectual property (IP) of org...
ENTCS
2007
14 years 9 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
116
click to vote
DAC
2002
ACM
15 years 10 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...