5374 search results - page 731 / 1075 » The induction of communication protocols |
190
click to vote
CONCUR
2004
Springer
16 years 29 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
280
click to vote
E4MAS
2004
Springer
16 years 29 days ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
240
click to vote
MMB
2004
Springer
16 years 28 days ago
2004
Springer
Currently we see a discussion on the transition from ATM-based transport to IP transport in the UMTS Terrestrial Radio Access Network (UTRAN). Issues that result from the transiti...
175
click to vote
NOSSDAV
2004
Springer
16 years 28 days ago
2004
Springer
In recent years, several architectures have been proposed and developed for supporting streaming applications that take advantage of multiple paths through the network simultaneou...
217
click to vote
TCC
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...