1362 search results - page 135 / 273 » Model Checking Large Network Protocol Implementations |
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
142
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
136
Voted
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
—Physical Carrier Sensing plays a crucial role in the effectiveness of CSMA-based MAC protocols, yet its properties and impact on the system performance under slow fading channel...
117
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— The inherent trade-off between energy-efficiency and rapidity of event dissemination is characteristic for wireless sensor networks. Scarcity of energy renders it necessary fo...
121
Voted
CASCON
1996
15 years 4 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...