5472 search results - page 828 / 1095 » Stochastic Mechanism Design |
173
click to vote
NDSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
165
click to vote
NOMS
2006
IEEE
16 years 21 days ago
2006
IEEE
— The importance of the routers in the network and the vulnerability in the nature of the link state routing protocol highlight the necessity of effective routing protection agai...
175
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
179
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
180
click to vote
ACMACE
2006
ACM
16 years 20 days ago
2006
ACM
In modern society, people increasingly lack social interaction, even though it is beneficial to professional and personal life. Airhockey Over a Distance aims to work against this...