306 search results - page 4 / 62 » Effects as sessions, sessions as effects |
CONCUR
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
COMSUR
2011
12 years 10 months ago
2011
Abstract—Exchanging cryptographic keys to encrypt the media stream in the Session Initiation Protocol (SIP) has proven difficult. The challenge is to effectively exchange keys w...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
Local network coding is growing in prominence as a technique to facilitate greater capacity utilization in multi-hop wireless networks. A specific objective of such local network ...
MWCN
2004
Springer
14 years 4 months ago
2004
Springer
Abstract In this paper, our objective is to study and understand the mutual effects between the group communication protocols and unicast sessions in mobile ad hoc networks. The mo...
JSAC
2006
13 years 10 months ago
2006
We present a detailed study of the potential impact of BGP peering session attacks and the resulting exploitation of Route Flap Damping (RFD) that cause network-wide routing disrup...