2917 search results - page 423 / 584 » Satisfying Interaction Constraints |
143
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
139
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
134
click to vote
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Searchers' difficulty in formulating effective queries for their information needs is well known. Analysis of search session logs shows that users often pose short, vague quer...
157
click to vote
HPDC
2000
IEEE
15 years 8 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
138
click to vote
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
As more information becomes available on the World Wide Web, it has become an acute problem to provide effective search tools for information access. Previous generations of search...