1716 search results - page 310 / 344 » Proving Conditional Termination |
92
Voted
WPES
2005
ACM
15 years 6 months ago
2005
ACM
This paper introduces a novel approach for augmenting attributebased access control systems in a way that allows them to offer fully anonymous access to resources while at the sam...
113
click to vote
COLT
2005
Springer
15 years 6 months ago
2005
Springer
We present a general decomposition algorithm that is uniformly applicable to every (suitably normalized) instance of Convex Quadratic Optimization and efficiently approaches an o...
137
click to vote
MOBIHOC
2004
ACM
15 years 6 months ago
2004
ACM
Bandwidth efficiency of wireless multicast can be improved substantially by exploiting the fact that several receivers can be reached at the MAC layer by a single transmission. T...
101
Voted
SIGECOM
2010
ACM
15 years 5 months ago
2010
ACM
We study the problem of selling identical goods to n unit-demand bidders in a setting in which the total supply of goods is unknown to the mechanism. Items arrive dynamically, and...
121
Voted
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...