1163 search results - page 89 / 233 » Department of Redundancy Department |
134
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
123
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Online voice conversations are becoming ever more popular. People have been logging online text conversations, but what about voice conversations? Walter Ong simply states, "...
126
click to vote
CHI
2009
ACM
16 years 6 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...
133
Voted
PODC
2009
ACM
16 years 6 months ago
2009
ACM
d Abstract] Danny Hendler Department of Computer-Science Ben-Gurion University hendlerd@cs.bgu.ac.il Philipp Woelfel Department of Computer-Science University of Calgary woelfel@cp...
266
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
APPEARED IN ACM PODS-2009. A sliding windows model is an important case of the streaming model, where only the most "recent" elements remain active and the rest are disc...