3815 search results - page 104 / 763 » An Implementation of Session Types |
107
click to vote
FPCA
1995
15 years 6 months ago
1995
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
123
click to vote
MMM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Understanding player distributions, sessions, and movements in a Massively Multiplayer Online Role-Playing Game (MMORPG) is essential for research in scalable architectur...
96
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
122
Voted
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
147
Voted
ICDCS
1993
IEEE
15 years 6 months ago
1993
IEEE
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...