4305 search results - page 89 / 861 » Analysing Protocol Implementations |
TSP
2010
13 years 3 months ago
2010
In this paper, we consider the transmission of a Gaussian source over a cooperative relay network, and analyze its end-to-end distortion at high signal-to-noise ratio, in terms of ...
MSN
2005
Springer
14 years 2 months ago
2005
Springer
This paper discusses an efficient implementation of the multiplexing protocol H.223, which is an important part of 3G-324M protocol stack required for 3G mobile multimedia communic...
FMCAD
2007
Springer
14 years 24 days ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...