5671 search results - page 760 / 1135 » A Semantic Approach to Interpolation |
180
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
173
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
193
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
202
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
162
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...