6597 search results - page 92 / 1320 » Orderings and Types in Databases |
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
Collaboration activities usually involve several people presenting different group tasks and requirements. Accordingly, collaboration is rarely supported by a single CSCW technolo...
AICCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
CIDR
2011
13 years 20 days ago
2011
We propose a new type of database system coined OctopusDB. Our approach suggests a unified, one size fits all data processing architecture for OLTP, OLAP, streaming systems, and...
FOSSACS
2003
Springer
14 years 2 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
TFS
2010
13 years 3 months ago
2010
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...