703 search results - page 34 / 141 » Fundamentals of Session Types |
AO
2005
15 years 1 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...
116
click to vote
MMM
2010
Springer
15 years 10 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
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...
113
click to vote
ICALT
2003
IEEE
15 years 7 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
15 years 7 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...