1308 search results - page 135 / 262 » Bayesian Algorithmic Mechanism Design |
134
Voted
SOCIALCOM
2010
14 years 10 months ago
2010
-- Assessing the value of individual users' contributions in peer-production systems is paramount to the design of mechanisms that support collaboration and improve users'...
106
Voted
IFIPTM
2009
14 years 10 months ago
2009
Effective defense against Internet threats requires data on global real time network status. Internet sensor networks provide such real time network data. However, an organization...
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Recent advances in tester technology have led to automatic test equipment (ATE) that can operate at up to several hundred MHz. However, system-on-chip (SOC) scan chains typically ...
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
82
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
Since IP packet reassembly requires resources, a denial of service attack can be mounted by swamping a receiver with IP fragments. In this paper we argue how this attack need not ...