6597 search results - page 93 / 1320 » Orderings and Types in Databases |
121
click to vote
CASSIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
112
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
124
click to vote
VLDB
1989
ACM
15 years 7 months ago
1989
ACM
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
133
click to vote
TMM
2002
15 years 2 months ago
2002
This paper presents the rudiments of a theory of schema design for databases containing high dimensional features of the type used for describing multimedia data. We introduce a mo...
142
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: On-line biodiversity information databases are growing quickly and being integrated into general bioinformatics systems due to the advances of fast gene sequencing tec...