287 search results - page 41 / 58 » As We May Read: The Reading Appliance Revolution |
169
click to vote
JCS
2008
15 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
159
click to vote
IANDC
2006
15 years 6 months ago
2006
Abstract. History independent data structures, presented by Micciancio, are data structures that possess a strong security property: even if an intruder manages to get a copy of th...
187
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
153
click to vote
WWW
2010
ACM
16 years 28 days ago
2010
ACM
Web search engines discover indexable documents by recursively ‘crawling’ from a seed URL. Their rankings take into account link popularity. While this works well, it introduc...
147
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
In recent years, different commercial Weblog subscribing systems have been proposed to return stories from users' subscribed feeds. In this paper, we propose a novel clusteri...