550 search results - page 62 / 110 » Analysis on Packet Resequencing for Reliable Network Protoco... |
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
JAR
2008
14 years 9 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
ICICS
2004
Springer
15 years 3 months ago
2004
Springer
A mobile ad hoc network (MANET) is formed by a group of mobile wireless nodes, each of which functions as a router and agrees to forward packets for others. Many routing protocols ...
130
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Checkpoint-recovery based virtual machine (VM) replication is an attractive technique for accommodating VM installations with high-availability. It provides seamless failover for ...
108
click to vote
TC
2010
14 years 8 months ago
2010
—There are increasing interest and big challenge in designing a scalable and robust multicast routing protocol in a mobile ad hoc network (MANET) due to the difficulty in group ...