1144 search results - page 161 / 229 » Logic programming for combinatorial problems |
131
click to vote
ICWN
2004
15 years 3 months ago
2004
A critical issue in the design of routing protocols for wireless sensor networks is the efficient utilization of resources such as scarce bandwidth and limited energy supply. Many ...
155
click to vote
PDP
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—The peer-to-peer networking concept has revolutionized the cost structure of Internet data dissemination by making large scale content delivery with low server cost feas...
118
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
112
click to vote
ICALP
1995
Springer
15 years 5 months ago
1995
Springer
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
134
click to vote
APAL
2008
15 years 2 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...