374 search results - page 41 / 75 » An Empirical Analysis of Personal Digital Document Structure... |
143
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
113
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Tracing garbage collectors traverse references from live program variables, transitively tracing out the closure of live objects. Memory accesses incurred during tracing are essen...
134
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Recently, there has been much excitement in the research community over using social networks to mitigate multiple identity, or Sybil, attacks. A number of schemes have been propo...
137
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
123
click to vote
CSCW
2002
ACM
15 years 1 months ago
2002
ACM
Through ethnographic research, we document the rise of personal social networks in the workplace, which we call intensional networks. Paradoxically, we find that the most fundament...