Sciweavers

1458 search results - page 232 / 292
» Monads for incremental computing
Sort
View
ICNP
2006
IEEE
15 years 10 months ago
Pretty Good BGP: Improving BGP by Cautiously Adopting Routes
— The Internet’s interdomain routing protocol, BGP, is vulnerable to a number of damaging attacks, which often arise from operator misconfiguration. Proposed solutions with st...
Josh Karlin, Stephanie Forrest, Jennifer Rexford
ICPADS
2006
IEEE
15 years 10 months ago
Coloring the Internet: IP Traceback
Several IP Traceback schemes employing packet marking have been proposed to trace DoS/DDoS attacks that use source address spoofing. The major challenges in the design of an ef...
Muthusrinivasan Muthuprasanna, G. Manimaran, Manso...
ICRA
2006
IEEE
90views Robotics» more  ICRA 2006»
15 years 10 months ago
A Fast and Adaptive Test of Static Equilibrium for Legged Robots
— A legged robot walking on uneven terrain can avoid falling only by applying contact forces with its feet on the ground that compensate for gravity without causing slip. To plan...
Timothy Bretl, Sanjay Lall
RTAS
2006
IEEE
15 years 10 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
VTC
2006
IEEE
15 years 10 months ago
MC-CDMA HARQ with Variable Spreading Factor
This paper presents a hybrid automatic repeat request (HARQ) with variable spreading factor (VSF) suitable for a multicarrer code division multiple access (MC-CDMA). We consider a ...
Shinsuke Takaoka, Haris Gacanin, Fumiyuki Adachi