Sciweavers

3257 search results - page 611 / 652
» networking 2004
Sort
View
GECCO
2004
Springer
152views Optimization» more  GECCO 2004»
15 years 3 months ago
A Hybrid Ant Colony Optimisation Technique for Dynamic Vehicle Routing
Abstract. This paper is concerned with a dynamic vehicle routing problem. The problem is dynamic in the sense that the time it will take to traverse each edge is uncertain. The pro...
Darren M. Chitty, Marcel L. Hernandez
DSN
2004
IEEE
15 years 1 months ago
The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
A. J. KleinOsowski, Kevin KleinOsowski, Vijay Rang...
NSDI
2004
14 years 11 months ago
OverQoS: An Overlay Based Architecture for Enhancing Internet QoS
This paper describes the design, implementation, and experimental evaluation of OverQoS, an overlay-based architecture for enhancing the best-effort service of today's Intern...
Lakshminarayanan Subramanian, Ion Stoica, Hari Bal...
DSN
2004
IEEE
15 years 1 months ago
Verifying Web Applications Using Bounded Model Checking
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung...
CN
2004
150views more  CN 2004»
14 years 9 months ago
Optimizing interconnection policies
There are two basic types of interconnection agreements between providers in the Internet: peering and transit. A decision every Internet network service provider (INSP) has to ma...
Oliver Heckmann, Jens Schmitt, Ralf Steinmetz