5838 search results - page 818 / 1168 » A File System for System Programming in Ubiquitous Computing |
127
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper compares two grammar based Evolutionary Automatic Programming methods, Grammatical Evolution (GE) and Chorus. Both systems evolve sequences of derivation rules...
160
click to vote
AAAI
2006
15 years 6 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
167
click to vote
ACSW
2004
15 years 6 months ago
2004
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
130
click to vote
HPDC
1999
IEEE
15 years 9 months ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...
139
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...