2905 search results - page 287 / 581 » Formal Memetic Algorithms |
MMSEC
2006
ACM
15 years 5 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
109
click to vote
CONSTRAINTS
2010
14 years 11 months ago
2010
Abstract. We describe a simple CSP formalism for handling multi-attribute preference problems with hard constraints, one that combines hard constraints and preferences so the two a...
114
click to vote
JAR
2000
14 years 11 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
106
Voted
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
SIGMETRICS
1997
ACM
15 years 2 months ago
1997
ACM
One of the open questions in the design of multimedia storage servers is in what order to serve incoming requests. Given the capability provided by the disk layout and scheduling ...