359 search results - page 37 / 72 » On Complete Primitives for Fairness |
127
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Resource allocation is considered for cooperative transmissions in multiple-relay wireless networks. Two auction mechanisms, SNR auctions and power auctions, are proposed to distr...
106
click to vote
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider the problem of computing a weighted edge matching in a large graph using a parallel algorithm. This problem has application in several areas of combinatorial ...
111
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
The necessity of a lab course on computer security arises from the students' need to complement course work by hands-on experience. In order to meet the distance teaching dem...
95
Voted
AAAI
2006
15 years 2 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...