9642 search results - page 1663 / 1929 » Semantics in Multimedia Systems |
197
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
147
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
163
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
164
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...
176
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...