2416 search results - page 420 / 484 » The design and implementation of typed scheme |
PPOPP
2006
ACM
14 years 1 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
WIKIS
2006
ACM
14 years 1 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
KES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Determining physical location of indoor objects is one of the key issues in ubiquitous computing. Although there are many proposals to provide physical location tracking,...
SIGMOD
2010
ACM
14 years 14 days ago
2010
ACM
Time-oriented progress estimation for parallel queries is a challenging problem that has received only limited attention. In this paper, we present ParaTimer, a new type of timere...
HIM
1997
Springer
13 years 11 months ago
1997
Springer
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...