1615 search results - page 233 / 323 » Computer science and decision theory |
244
click to vote
DASC
2006
IEEE
16 years 12 days ago
2006
IEEE
— Honeypots are decoys designed to trap, delay, and gather information about attackers. We can use honeypot logs to analyze attackers’ behaviors and design new defenses. A virt...
154
click to vote
ICDCS
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper studies the use of pricing as an incentive mechanism to encourage private, self-interested nodes to participate in a public wireless mesh network and cooperate in the p...
171
click to vote
ACL2
2006
ACM
16 years 9 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...
152
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
One crucial task for e-commerce systems is to help buyers find products that not only satisfy their preferences but also reduce their search effort. Usually the amount of availa...
162
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...