253 search results - page 27 / 51 » Session Types at the Mirror |
129
click to vote
MMM
2010
Springer
16 years 9 days 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...
101
Voted
TACAS
2010
Springer
15 years 10 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...
128
click to vote
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,...
104
click to vote
ISWC
2003
IEEE
15 years 8 months 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...
153
Voted
ICDCS
1993
IEEE
15 years 7 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...