1426 search results - page 35 / 286 » A theory of goal-oriented communication |
103
click to vote
ICDCSW
2000
IEEE
15 years 5 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
106
click to vote
FTNET
2006
15 years 1 months ago
2006
This article reviews progress in cooperative communication networks. Our survey is by no means exhaustive. Instead, we assemble a representative sample of recent results to serve ...
141
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
139
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—Efficient operation of wireless networks and switches requires using simple (and in some cases distributed) scheduling algorithms. In general, simple greedy algorithms (known a...
124
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...