671 search results - page 97 / 135 » Context-specific Route Directions |
282
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
179
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
—Content-based service, which dynamically routes and delivers events from sources to interested users, is extremely important to network services. However, existing content-based...
176
click to vote
CSE
2009
IEEE
16 years 28 days ago
2009
IEEE
—When the Internet was conceived, its fundamental operation was envisioned to be point-to-point communication allowing anybody to talk directly to anybody. With its increasing su...
180
click to vote
ICAS
2009
IEEE
16 years 28 days ago
2009
IEEE
Aggregation of data values plays an important role on distributed computations, in particular over peer-to-peer and sensor networks, as it can provide a summary of some global sys...
164
click to vote
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
—This paper reports the challenges of developing multiple social robots that operate in a shopping mall. We developed a networked robot system that coordinates multiple social ro...