2016 search results - page 328 / 404 » Megamaps: Construction and Examples |
POPL
2001
ACM
14 years 10 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
OSDI
2002
ACM
14 years 10 months ago
2002
ACM
Many distributed applications can make use of large background transfers ? transfers of data that humans are not waiting for ? to improve availability, reliability, latency or con...
OSDI
2002
ACM
14 years 10 months ago
2002
ACM
It is becoming increasingly common to construct network services using redundant resources geographically distributed across the Internet. Content Distribution Networks are a prim...
VLDB
2006
ACM
14 years 10 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
PODS
2006
ACM
14 years 10 months ago
2006
ACM
Recently, there has been an increased focus on modeling uncertainty by distributions. Suppose we wish to compute a function of a stream whose elements are samples drawn independen...