1547 search results - page 258 / 310 » The Isabelle Collections Framework |
133
Voted
CCS
2011
ACM
14 years 16 days ago
2011
ACM
This paper presents a new challenge—verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe...
126
Voted
DEXA
2011
Springer
14 years 11 days ago
2011
Springer
In this article we present RoSeS (Really Open Simple and Efficient Syndication), a generic framework for content-based RSS feed querying and aggregation. RoSeS is based on a data-...
143
click to vote
ICDCS
2011
IEEE
14 years 5 days ago
2011
IEEE
Abstract—Jamming attacks and unintentional radio interference are one of the most urgent threats harming the dependability of wireless communication and endangering the successfu...
169
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
A typical web search engine consists of three principal parts: crawling engine, indexing engine, and searching engine. The present work aims to optimize the performance of the cra...
159
click to vote
CSCW
2012
ACM
13 years 8 months ago
2012
ACM
Users have come to rely on automated route finding services for driving, public transit, walking, and bicycling. Current state of the art route finding algorithms typically rely...