Sciweavers

2142 search results - page 254 / 429
» Improved Conditional E-Payments
Sort
View
WWW
2004
ACM
14 years 11 months ago
Distributed ranking over peer-to-peer networks
Query flooding is a problem existing in Peer-to-Peer networks like Gnutella. Firework Query Model solves this problem by Peer Clustering and routes the query message more intellig...
Dexter Chi Wai Siu, Tak Pang Lau
CAV
2009
Springer
209views Hardware» more  CAV 2009»
14 years 11 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
KDD
2009
ACM
143views Data Mining» more  KDD 2009»
14 years 11 months ago
Optimizing web traffic via the media scheduling problem
Website traffic varies through time in consistent and predictable ways, with highest traffic in the middle of the day. When providing media content to visitors, it is important to...
Lars Backstrom, Jon M. Kleinberg, Ravi Kumar
KDD
2008
ACM
135views Data Mining» more  KDD 2008»
14 years 11 months ago
Effective and efficient itemset pattern summarization: regression-based approaches
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...
Ruoming Jin, Muad Abu-Ata, Yang Xiang, Ning Ruan
CHI
2007
ACM
14 years 11 months ago
Comparing physical, automatic and manual map rotation for pedestrian navigation
It is well-established finding that people find maps easier to use when they are aligned so that "up" on the map corresponds to the user's forward direction. With m...
Will Seager, Danae Stanton Fraser