187
click to vote
ACSC
15 years 6 months ago
2004 IEEE 
An ad-hoc network comprises mobile nodes that cooperate with each other using wireless connections to route both data and control packets within the network. As the low transmissi...
178
click to vote
WG
15 years 8 months ago
2004 Springer
A unit disk graph is the intersection graph of unit disks in the euclidean plane. We present a polynomial-time approximation scheme for the maximum weight independent set problem i...
173
click to vote
FOCS
15 years 6 months ago
2004 IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
169
click to vote
FOCS
15 years 6 months ago
2004 IEEE
We study the maximum edge-disjoint paths problem in undirected planar graphs: given a graph G and node pairs (demands) s1t1, s2t2, . . ., sktk, the goal is to maximize the number ...
168
click to vote
SPIN
15 years 8 months ago
2004 Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
|
Theoretical Computer Science