275 search results - page 37 / 55 » Analysis of a Fair Exchange Protocol |
STOC
2001
ACM
14 years 10 months ago
2001
ACM
The dynamic behavior of a network in which information is changing continuously over time requires robust and efficient mechanisms for keeping nodes updated about new information. ...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— 1 Taking advantage of the independent fading channel conditions among multiple wireless users, opportunistic transmissions schedule the user with the instantaneously best condi...
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Most of the existing WLAN MAC protocols can only provide limited service differentiation. In this paper, we propose a novel token-based scheduling scheme for precise and quanti...
PE
2002
Springer
13 years 9 months ago
2002
Springer
Many mathematical models exist for describing the behavior of TCP/IP (TCP: transmission control protocol) under an exogenous loss process that does not depend on the window size. ...