4305 search results - page 263 / 861 » Analysing Protocol Implementations |
DAC
2003
ACM
14 years 10 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
HPCC
2007
Springer
14 years 3 months ago
2007
Springer
This paper introduces Netgauge, an extensible open-source framework for implementing network benchmarks. The structure of Netstracts and explicitly separates communication patterns...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In building a real-life mobile ad-hoc network (MANET), network emulation has been appraised as an efficient approach for testing the real implementations of routing algorithms and...
FOCS
2005
IEEE
14 years 3 months ago
2005
IEEE
We initiate the study of two-party cryptographic primitives with unconditional security, assuming that the adversary’s quantum memory is of bounded size. We show that oblivious ...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
OMG published a draft specification for a reliable ordered multicast inter-ORB protocol to be used by distributed applications developed in CORBA (ROMIOP). This specification was m...