7167 search results - page 383 / 1434 » Answer Set Programming |
175
click to vote
FUIN
2008
15 years 5 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...
153
click to vote
AICCSA
2006
IEEE
16 years 26 days 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...
162
Voted
SIGSOFT
2004
ACM
16 years 7 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 ...
178
click to vote
PPDP
2009
Springer
16 years 1 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�...
204
click to vote
ISORC
2006
IEEE
16 years 24 days 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...