220 search results - page 30 / 44 » corr 2002 |
CORR
2002
Springer
14 years 9 months ago
2002
Springer
We describe an electronic guidebook, Sotto Voce, that enables visitors to share audio information by eavesdropping on each other's guidebook activity. We have conducted three...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
The deterministic network calculus offers an elegant framework for determining delays and backlog in a network with deterministic service guarantees to individual traffic flows. T...
53
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Background: Articles whose authors have supplemented subscription-based access to the publisher's version by selfarchiving their own final draft to make it accessible free fo...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
This paper describes a standalone, publicly-available implementation of the Resolution of Anaphora Procedure (RAP) given by Lappin and Leass (1994). The RAP algorithm resolves thi...