3907 search results - page 488 / 782 » Time, Knowledge, and Choice |
350
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
263
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
148
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Web users have been employing numerous methods for recalling websites. Bookmarks have been around for some time, but the usefulness of such a system has been under question. The l...
198
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...
192
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
In this work, we consider the task of allowing a content provider to enforce complex access control policies on oblivious protocols conducted with anonymous users. As our primary ...