Sciweavers

1615 search results - page 123 / 323
» Distributed Forward Checking
Sort
View
TROB
2010
103views more  TROB 2010»
14 years 9 months ago
A Geometrically Exact Model for Externally Loaded Concentric-Tube Continuum Robots
Continuum robots, which are composed of multiple concentric, precurved elastic tubes, can provide dexterity at diameters equivalent to standard surgical needles. Recent mechanicsba...
D. Caleb Rucker, Bryan A. Jones, Robert J. Webster...
134
Voted
ICDCS
2012
IEEE
13 years 4 months ago
Optimal Recovery from Large-Scale Failures in IP Networks
—Quickly recovering IP networks from failures is critical to enhancing Internet robustness and availability. Due to their serious impact on network routing, large-scale failures ...
Qiang Zheng, Guohong Cao, Tom La Porta, Ananthram ...
SIGSOFT
2006
ACM
16 years 3 months ago
Local analysis of atomicity sphere for B2B collaboration
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu
WWW
2010
ACM
15 years 9 months ago
Debugging standard document formats
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...
Nabil Layaïda, Pierre Genevès
VTC
2007
IEEE
101views Communications» more  VTC 2007»
15 years 8 months ago
Secure Position-Based Routing for VANETs
— Vehicular communication (VC) systems have the potential to improve road safety and driving comfort. Nevertheless, securing the operation is a prerequisite for deployment. So fa...
Charles Harsch, Andreas Festag, Panos Papadimitrat...