1426 search results - page 248 / 286 » A theory of goal-oriented communication |
109
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
—The Grassmann manifold Gn,p (L) is the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space Ln , where L is either R or C. This paper consid...
110
click to vote
PERVASIVE
2008
Springer
15 years 1 months ago
2008
Springer
Energy-efficency is a key concern when designing protocols for wireless sensor networks (WSN). This is of particular importance in commercial applications where demonstrable retur...
135
click to vote
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
128
click to vote
QUESTA
2007
15 years 28 days ago
2007
Fairness is an inherent and fundamental factor of queue service disciplines in a large variety of queueing applications, ranging from airport and supermarket waiting lines to comp...
114
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—In many scenarios network design is not enforced by a central authority, but arises from the interactions of several self-interested agents. This is the case of the Internet, wh...