3948 search results - page 111 / 790 » Integration Workbench: Integrating Schema Integration Tools |
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
104
click to vote
VISUALIZATION
1993
IEEE
15 years 2 months ago
1993
IEEE
Visualization has proved an e ective tool in the understanding of large data sets in computational science and engineering. There is growing interest today in the development of p...
TAP
2008
Springer
14 years 10 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
ACTAC
2002
14 years 10 months ago
2002
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Clio is an existing schema-mapping tool that provides user-friendly means to manage and facilitate the complex task of transformation and integration of heterogeneous data such as...