4305 search results - page 480 / 861 » Analysing Protocol Implementations |
203
click to vote
MASCOTS
2001
15 years 8 months ago
2001
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
169
click to vote
COOTS
1996
15 years 8 months ago
1996
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
173
click to vote
WSC
1996
15 years 8 months ago
1996
Researchers at the National Institute of Standards and Technology are developing a virtual manufacturing cell. This cell will contain simulation models of a wide range of manufact...
215
click to vote
PSTV
1992
15 years 8 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
169
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
It is becoming the norm for small mobile devices to have access to multiple technologies for connecting to the Internet. This gives researchers an increasing interest for solution...