5084 search results - page 407 / 1017 » Proving Possibility Properties |
179
click to vote
ECUMN
2007
Springer
16 years 1 months ago
2007
Springer
This paper analyzes and discusses the role of a distributed and simple admission control (AC) model in achieving scalable management of multiple network service levels. The model ...
179
click to vote
WINE
2007
Springer
16 years 29 days ago
2007
Springer
This paper characterizes the family of truthful doublesided auctions. Despite the importance of double-sided auctions to market design, to date no characterization of truthful dou...
209
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
162
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the s...
176
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...