Sciweavers

3815 search results - page 12 / 763
» An Implementation of Session Types
Sort
View
MDM
2004
Springer
122views Communications» more  MDM 2004»
14 years 1 months ago
Context-Aware Unified Communication
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...
Hui Lei, Anand Ranganathan
HPCNCS
2007
13 years 9 months ago
A Formal Approach for Identity Management in Federated Web Services
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...
CONEXT
2007
ACM
13 years 9 months ago
Extending web browsers architectures to support HTTP session mobility
In a bid to extend web browsers capabilities, a new extension that transfers HTTP session between two web browsers also knows as User Agents will be developed. The capabilities of...
Michael O. Adeyeye, Neco Ventura
CSCW
1994
ACM
13 years 12 months ago
Session Management for Collaborative Applications
Session management systems for collaborative applications have required a great deal of reimplementation work by developers because they have been typically created on a case-by-c...
W. Keith Edwards
FORTE
2007
13 years 9 months ago
Coordination Via Types in an Event-Based Framework
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
GianLuigi Ferrari, Roberto Guanciale, Daniele Stro...