1362 search results - page 34 / 273 » Model Checking Large Network Protocol Implementations |
124
click to vote
TPDS
2010
15 years 8 days ago
2010
—A recursive multi-hop area hierarchy has a number of applications in wireless sensor networks, the most common being scalable point-to-point routing, so-called hierarchical rout...
153
click to vote
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
109
click to vote
FMSD
2006
15 years 1 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
100
click to vote
FORTE
1997
15 years 3 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
138
click to vote
ENTCS
2008
15 years 2 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...