7167 search results - page 383 / 1434 » Answer Set Programming |
131
click to vote
FUIN
2008
15 years 2 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
105
click to vote
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
The problem of optimally deploying a heterogeneous set of sensing devices in environments with differential surveillance requirements is presented. The problem is formulated in th...
103
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
118
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
161
Voted
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...