Sciweavers

7096 search results - page 135 / 1420
» Data integration in mashups
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 10 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
AAAI
2008
15 years 8 months ago
Magic Sets for Data Integration
Wolfgang Faber, Gianluigi Greco, Nicola Leone