5015 search results - page 854 / 1003 » Model Checking a Path |
CSFW
2009
IEEE
14 years 5 months ago
2009
IEEE
We consider using trust information to improve the anonymity provided by onion-routing networks. In particular, we introduce a model of trust in network nodes and use it to design...
CPAIOR
2009
Springer
14 years 4 months ago
2009
Springer
The interdiction problem arises in a variety of areas including military logistics, infectious disease control, and counter-terrorism. In the typical formulation of network interdi...
STACS
2007
Springer
14 years 4 months ago
2007
Springer
A coloring of a graph is convex if it induces a partition of the vertices into connected subgraphs. Besides being an interesting property from a theoretical point of view, tests f...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
- Rapid progress in deployment of national and regional optical network infrastructures holds the promise to provide abundant, inexpensive bandwidth to scientific communities. The ...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...