1875 search results - page 133 / 375 » Automatic Network Protocol Analysis |
118
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
136
click to vote
CBSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
117
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
134
click to vote
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, a duty cycle based multi-channel MAC protocol with multiple channel reservation, called M-cube, is proposed to tackle the triple hidden terminal problems. M-cube can...
114
click to vote
IADIS
2003
15 years 4 months ago
2003
The purpose of MARIAN is to investigate the degree of suitability for mobile agent technology in routing, topology discovery, and automatic network reconfiguration in ad-hoc wirel...