2116 search results - page 265 / 424 » Resource Analysis by Sup-interpretation |
118
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The wealth of information available on the web makes it an attractive resource for seeking quick answers. While web-based question answering becomes an emerging topic in recent ye...
218
Voted
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
129
Voted
HT
2009
ACM
15 years 10 months ago
2009
ACM
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...
132
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—For sensor networks deployed to monitor and report real events, event source anonymity is an attractive and critical security property, which unfortunately is also very difficu...
110
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Extremists’ exploitation of computer-mediated communications such as online forums has recently gained much attention from academia and the government. However, due to the cover...