1362 search results - page 191 / 273 » Model Checking Large Network Protocol Implementations |
221
click to vote
Publication
Satellite networks play an indispensable role in providing global Internet access and electronic connectivity. To achieve such a global communications, provisioning of quality of s...
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
115
click to vote
WOWMOM
2006
ACM
15 years 9 months ago
2006
ACM
— It has been observed that IEEE 802.11 commercial cards produced by different vendors show a different behavior in terms of perceived throughput or access delay. Performance dif...
285
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...
154
click to vote
DCOSS
2006
Springer
15 years 6 months ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...