1362 search results - page 113 / 273 » Model Checking Large Network Protocol Implementations |
138
Voted
DAGSTUHL
1994
15 years 5 months ago
1994
This paper presents the Reliable Multicast Protocol (RMP). RMP provides a totally ordered, reliable, atomic multicast service on top of an unreliable multicast datagram service su...
151
Voted
AIMS
2008
Springer
15 years 5 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
120
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We consider energy efficient network coding design in wireless networks with multiple unicast sessions. Our approach decomposes multiple unicast sessions into a superposition ...
110
Voted
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
148
Voted
PEWASUN
2007
ACM
15 years 5 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...