Sciweavers

2299 search results - page 26 / 460
» Logical Data Expiration
Sort
View
99
Voted
ISMVL
2003
IEEE
101views Hardware» more  ISMVL 2003»
15 years 5 months 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...
104
Voted
AMW
2010
15 years 1 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...
83
Voted
PODS
2004
ACM
92views Database» more  PODS 2004»
16 years 18 days ago
Logical Foundations of Peer-To-Peer Data Integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
ESOP
2004
Springer
15 years 5 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, ...
116
Voted
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 17 days 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