1855 search results - page 253 / 371 » Composing model programs for analysis |
DIGRA
2003
Springer
15 years 3 months ago
2003
Springer
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
107
click to vote
AADEBUG
2000
Springer
15 years 2 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
JCP
2008
14 years 10 months ago
2008
Supply chain risk evaluation is a multi-criteria decision making problem under fuzzy environments. To tackle the problem, this paper firstly identifies and discusses some of the im...
MM
2006
ACM
15 years 4 months ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
VIROLOGY
2008
14 years 10 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...