2796 search results - page 363 / 560 » The coolest path problem |
159
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
179
click to vote
SPAA
2006
ACM
16 years 14 days ago
2006
ACM
One of the fundamental trade-offs in compact routing schemes is between the space used to store the routing table on each node and the stretch factor of the routing scheme – th...
182
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— Recently, the acquisition of three-dimensional maps has become more and more popular. This is motivated by the fact that robots act in the three-dimensional world and several t...
170
click to vote
PODC
2005
ACM
16 years 2 days ago
2005
ACM
We investigate the behaviour of load-adaptive rerouting policies in the Wardrop model where decisions must be made on the basis of stale information. In this model, an infinite n...
173
click to vote
SPAA
2005
ACM
16 years 2 days ago
2005
ACM
An important problem for wireless ad hoc networks has been to design overlay networks that allow time- and energy-efficient routing. Many local-control strategies for maintaining...