5243 search results - page 193 / 1049 » Reasoning About Strategies |
175
click to vote
ADMI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
174
click to vote
ICNS
2007
IEEE
16 years 27 days ago
2007
IEEE
Market-based compute grids encompass service providers offering limited resources to potential users with varying demands and willingness to pay. Providers face difficult decisions...
184
click to vote
LCN
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...
207
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
200
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...