2162 search results - page 168 / 433 » A Meta-Notation for Protocol Analysis |
138
click to vote
AP2PC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
177
click to vote
MSWIM
2009
ACM
16 years 6 days ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
168
click to vote
ISCC
1999
IEEE
15 years 9 months ago
1999
IEEE
For multimedia senders to benefit the most of dynamically changing availability of network resources they need to adjust their transmission behavior in accordance with the network...
127
click to vote
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
135
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...