Sciweavers

2299 search results - page 26 / 460
» Logical Data Expiration
Sort
View
ISMVL
2003
IEEE
101views Hardware» more  ISMVL 2003»
14 years 29 days ago
Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic
A new asynchronous data transfer scheme using multiple-valued 2-color 1-phase coding, called a bidirectional data transfer scheme, is proposed for a highperformance and low-power ...
Takahiro Hanyu, Tomohiro Takahashi, Michitaka Kame...
AMW
2010
13 years 9 months ago
Logic Programs for Repairing Inconsistent Dimensions in Data Warehouses
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
Loreto Bravo, Mónica Caniupán Marile...
PODS
2004
ACM
92views Database» more  PODS 2004»
14 years 7 months ago
Logical Foundations of Peer-To-Peer Data Integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
ESOP
2004
Springer
14 years 1 months ago
Extracting a Data Flow Analyser in Constructive Logic
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
David Cachera, Thomas P. Jensen, David Pichardie, ...
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 7 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan