5084 search results - page 785 / 1017 » Proving Possibility Properties |
137
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an algorithm, called PCG, for planning the foothold positions of spider-like robots in planar tunnels bounded by piecewise linear walls. The paper focuses on 3-...
154
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Finding a path in a network based on multiple constraints (the MCP problem) is often referred to as QoS routing. QoS routing with constraints on multiple additive metri...
165
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Network monitoring and diagnosis are key to improving network performance. The difficulties of performance monitoring lie in today’s fast growing Internet, accompani...
186
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
We are interested in new ways of threats and attack on the e-commerce. The server side of e-commerce platform is usually very well protected and secured. Unfortunately, this is no...
165
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...