525 search results - page 52 / 105 » A Fair e-Tendering Protocol |
PODC
1990
ACM
13 years 11 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Following the design philosophy of XCP, VCP is a router-assisted congestion protocol that intends to balance the efficiency and the fairness control in high Bandwidth-Delay Pro...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
The increase of IEEE 802.11’s bandwidth led to a deployment of many multimedia applications over wireless networks. Nevertheless, these applications impose stringent constraints...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— A class of CSMA protocols used in a broad range of wireless applications uses synchronized contention where nodes periodically contend at intervals of fixed duration. While se...
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...