1744 search results - page 105 / 349 » A Proof-Carrying File System |
102
click to vote
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a global...
GCA
2007
14 years 11 months ago
2007
On-Demand Computing fulfills the need of computing availability at limited hardware and software costs. Distributed systems of this kind typically store user files in a shared ...
100
click to vote
PDCN
2004
14 years 11 months ago
2004
Many web cache systems and policies have been proposed. These studies, however, consider large sized objects less useful than small sized objects for the performance and evict the...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
LREC
2008
14 years 11 months ago
2008
We present a corpus of spoken dialogues between students and an adaptive Wizard-of-Oz tutoring system, in which student uncertainty was manually annotated in real-time. We detail ...