932 search results - page 45 / 187 » Analysis and Optimization of CHR Programs |
104
Voted
USS
2004
15 years 1 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
MP
2002
15 years 7 days ago
2002
In this paper we address a general Goal Programming problem with linear objectives, convex constraints, and an arbitrary componentwise nondecreasing norm to aggregate deviations w...
83
Voted
EUROGP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
101
click to vote
QSIC
2006
IEEE
15 years 6 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
120
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
Query substitution is an important problem in information retrieval. Much work focuses on how to find substitutes for any given query. In this paper, we study how to efficiently ...