4794 search results - page 628 / 959 » Trust-Based Mechanism Design |
222
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Because of the high volume and unpredictable arrival rate, stream processing systems may not always be able to keep up with the input data streams-- resulting in buffer overflow a...
176
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
In this paper we present an analysis of HTTP traffic captured from Internet caf?es and kiosks from two different developing countries ? Cambodia and Ghana. This paper has two main...
378
click to vote
PLDI
2009
ACM
16 years 8 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
201
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
240
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...