422 search results - page 13 / 85 » Protocol Specialization |
102
Voted
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
Recently, research has focused on enabling fair exchange between payment and electronically shipped items. The reason for this is the growing importance of Electronic Commerce and...
124
Voted
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
COLCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
139
click to vote
IEAAIE
2011
Springer
14 years 5 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
116
Voted
ICNP
1998
IEEE
15 years 6 months ago
1998
IEEE
Advances in ber-optic and VLSI technology have led to the emergence of very high-speed networks based on Asynchronous Transfer Mode ATM. The time required to transmit the data int...