3973 search results - page 157 / 795 » Records for Logic Programming |
127
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
128
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
100
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
167
Voted
OPODIS
2003
15 years 5 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
135
click to vote
INTERSENSE
2006
ACM
15 years 9 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...