1362 search results - page 72 / 273 » Model Checking Large Network Protocol Implementations |
133
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
For the evaluation of ad hoc network protocols, researchers traditionally use simulations because they easily allow for a large number of nodes and reproducible environment condit...
156
click to vote
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
140
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
119
click to vote
PEWASUN
2005
ACM
15 years 9 months ago
2005
ACM
An experimental study of MANET using 802.11b has shown that there exist several configurations where this standard does not guarantee fairness for the channel access. In this pap...
147
click to vote
JNW
2006
15 years 3 months ago
2006
In this research article we discuss the protocols, architecture and propose the design of Network Domain Security (NDS) model for IP Multimedia Subsystem (IMS). The IMS is standard...