483 search results - page 1 / 97 » Patterns of Protocols |
ICDCS
2005
IEEE
13 years 10 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
EEE
2005
IEEE
13 years 10 months ago
2005
IEEE
Currently negotiation covers a huge and unstructured domain of negotiation- and coordination protocols and associated strategies. Researchers and practitioners like system enginee...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Systems interact with their environment (e.g., other systems) by exchanging messages in a particular order. Interoperability problems arise when systems do not understand...
JCIT
2010
12 years 12 months ago
2010
With the development of high-speed network technique and increasing volume of network traffic, traditional pattern matching method can't adapt to the new challenges to intrus...