5090 search results - page 3 / 1018 » Constructing Strategies for Programming |
FSTTCS
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
VIROLOGY
2008
13 years 7 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...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
VEE
2006
ACM
14 years 1 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
CP
2007
Springer
14 years 1 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...