289 search results - page 39 / 58 » A Direct Construction of a Universal Extended H System |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this poster, we present the P2P XML data localization layer of XLive, an XQuery mediation system developed at University of Versailles [2]. A major challenge in the evaluation ...
SIGMOD
2009
ACM
15 years 2 months ago
2009
ACM
It has recently been asserted that the usability of a database is as important as its capability. Understanding the database schema, the hidden relationships among attributes in t...
CSCW
2008
ACM
14 years 11 months ago
2008
ACM
We extend the notion of social tagging to construct social summaries of complex multimedia materials. Our system allows students to apply time-indexed multimedia tags such as hand...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...