3680 search results - page 296 / 736 » cases 2010 |
172
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
191
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
173
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Given a set of keyphrases, we analyze how Web queries with these phrases can be formed that, taken altogether, return a specified number of hits. The use case of this problem is a ...
181
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
179
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...