703 search results - page 34 / 141 » Fundamentals of Session Types |
AO
2005
13 years 7 months ago
2005
Relationships are an integral part of the design of a database. Comparing and integrating relationships from heterogeneous databases requires that the relationships be mapped to ea...
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 1 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,...
ISWC
2003
IEEE
14 years 29 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...