1768 search results - page 173 / 354 » A Logic for Algebraic Effects |
194
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
182
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
– The quest for technologies with superior device characteristics has showcased Carbon Nanotube Field Effect Transistors (CNFETs) into limelight. Among the several design aspects...
310
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
278
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
171
Voted
VMCAI
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...