2162 search results - page 294 / 433 » A Meta-Notation for Protocol Analysis |
SIMUTOOLS
2008
14 years 11 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
CNIS
2006
14 years 11 months ago
2006
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...
ICMAS
2000
14 years 11 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
IWFM
2000
14 years 11 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
GLOBECOM
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract—Cooperative diversity is a useful technique to increase reliability and throughput of wireless networks. To analyze the performance gain from cooperative diversity, outa...