703 search results - page 10 / 141 » Fundamentals of Session Types |
CONEXT
2007
ACM
13 years 9 months ago
2007
ACM
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...
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...
IDMS
2000
Springer
13 years 11 months ago
2000
Springer
The state-of-the-art approach to realize consistency in distributed virtual environments (e.g., action games, multi-user virtual reality, and battlefield simulations) is dead recko...
FORTE
2007
13 years 9 months ago
2007
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...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...