44 search results - page 2 / 9 » Version vector protocols implementing session guarantees |
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Although the SIP protocol claims a complete dualstack support, some aspects, such as interoperability between different address realms and support for multi-homed hosts...
CN
2007
13 years 7 months ago
2007
The proliferation of heterogeneous devices and diverse networking technologies demands flexible models to guarantee the quality-of-service(QoS) at the application session level, ...
VLDB
1997
ACM
13 years 11 months ago
1997
ACM
This paper proposes an extension of the multiversion two phase locking protocol, called EMVZPL, which enables update transactions to use versions while guaranteeing the serializab...