4325 search results - page 341 / 865 » Incremental computation with names |
158
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
— We treat the problem of large-scale TCP poisoning: an attacker, who is able to monitor TCP packet headers in the network, can deny service to all flows traversing the monitori...
161
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a new approach for generating virtual coordinates that produces usable coordinates quickly and improves the routing performance of existing geographic routing algori...
166
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider motion planning problems for a vehicle with kinodynamic constraints, where there is partial knowledge about the environment and replanning is required. We present a...
155
click to vote
MDM
2007
Springer
16 years 29 days ago
2007
Springer
— We consider the problem of efficiently broadcasting incremental updates to multiple terminals that contain outdated (and possibly different) initial copies of the data. This s...
164
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...