1636 search results - page 241 / 328 » Type-Theoretic Functional Semantics |
114
click to vote
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
133
click to vote
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
124
Voted
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
Publish/subscribe systems have demonstrated the ability to scale to large numbers of users and high data rates when providing content-based data dissemination services on the Inte...
112
click to vote
WISE
2002
Springer
15 years 8 months ago
2002
Springer
With the flurry of research on P2P computing, many P2P technical challenges have emerged, one of which is how to efficiently locate desired resources. Advances have been made in...
101
Voted
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...