558 search results - page 89 / 112 » The Personal Publication Reader |
140
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...
183
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Motivated by the emergence of auction-based marketplaces for display ads such as the Right Media Exchange, we study the design of a bidding agent that implements a display adverti...
175
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
The rising popularity of Web 2.0, such as blogs, forums, online calendars/diaries, etc., makes users more interested in keeping their data on the Web. Sharing of such data could m...
170
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Website privacy policies state the ways that a site will use personal identifiable information (PII) that is collected from fields and forms in web-based transactions. Since these...
182
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...