253 search results - page 27 / 51 » Session Types at the Mirror |
MMM
2010
Springer
14 years 4 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...
TACAS
2010
Springer
14 years 2 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...
ICALT
2003
IEEE
14 years 29 days 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,...
ISWC
2003
IEEE
14 years 28 days ago
2003
IEEE
We present a new type of wearable musical instrument called the DJammer. The DJammer brings turntable like creative functionality to the MP3 world while offering a collaborative p...
ICDCS
1993
IEEE
13 years 11 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...