5015 search results - page 686 / 1003 » Model Checking a Path |
190
click to vote
SEMWEB
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Building user-friendly GUIs for browsing and filtering RDF/S description bases while exploiting in a transparent way the expressiveness of declarative query/view language...
155
Voted
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
196
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new algorithm for dynamic routing of bandwidth guaranteed multicast tunnels with failure backup. The multicast routing problem arises in many contexts such a...
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Locating arteries hidden beneath superficial tissue can be a difficult task in minimally invasive surgery. This paper reports the development of a system that finds the paths of a...
158
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
—In this paper, we extend the load sharing framework to study how to effectively perform flow-based traffic splitting in multipath communication networks. The generalized load sh...