3319 search results - page 49 / 664 » Type Theoretical Databases |
GI
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The interdisciplinary HERON project investigates the impact of multimedia applications from the humanities, in particular heraldry, on future database technology. We pres...
FOCS
1997
IEEE
15 years 1 months ago
1997
IEEE
The problem of maintaining data that arrives continuously over time is increasingly prevalent in databases and digital libraries. Building on a model for sliding-window indices de...
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...
PDP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
PADL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...