3566 search results - page 197 / 714 » Signed Logic Programs |
137
Voted
CEC
2010
IEEE
14 years 6 months ago
2010
IEEE
— If a population of programs evolved not for a few hundred generations but for a few hundred thousand or more, could it generate more interesting behaviours and tackle more comp...
105
Voted
ICICS
2004
Springer
15 years 8 months ago
2004
Springer
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...
121
Voted
NSPW
2004
ACM
15 years 8 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
136
Voted
FORTE
2010
15 years 4 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
111
Voted
IUI
1999
ACM
15 years 7 months ago
1999
ACM
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...