345 search results - page 31 / 69 » Computer-Assisted Simulation Proofs |
129
click to vote
EVOW
2011
Springer
14 years 6 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 ...
WSC
2004
15 years 3 months ago
2004
Simulation composability is a difficult capability to achieve due to the challenges of creating components, selecting combinations of components, and integrating the selected comp...
133
Voted
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
123
click to vote
AML
2008
15 years 2 months ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
117
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...