1224 search results - page 199 / 245 » Theory decision by decomposition |
DASC
2006
IEEE
14 years 5 months 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...
HICSS
2006
IEEE
14 years 5 months ago
2006
IEEE
Recommendation systems are widely used on the Internet to assist customers in finding the products or services that best fit with their individual preferences. While current imple...
ICDCS
2006
IEEE
14 years 5 months 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...
INFOCOM
2006
IEEE
14 years 5 months ago
2006
IEEE
— We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically fail to detect attacks and also gener...
LICS
2006
IEEE
14 years 5 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...