2162 search results - page 40 / 433 » A Meta-Notation for Protocol Analysis |
MA
2000
Springer
14 years 8 days ago
2000
Springer
The abstractions and protocol mechanisms that form the basis for inter-agent communications can significantly impact the overall design and effectiveness of Mobile Agent systems. W...
INFOCOM
1996
IEEE
14 years 26 days ago
1996
IEEE
The Transmission Control Protocol Internet Protocol TCP IP 1 suite is a very widely used technique that is employed to interconnect computing facilities in modern network environm...
FAC
2007
13 years 8 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) prot...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
Business protocols are becoming a necessary part of Web services description [4]. The work presented in [4] investigates mechanisms for analyzing the compatibility and the substit...