4564 search results - page 438 / 913 » Data Integration Using ID-Logic |
142
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
170
click to vote
ERCIMDL
2006
Springer
15 years 7 months ago
2006
Springer
Archeological sites have heterogeneous information ranging from different artifacts, image data, geo-spatial information, chronological data, and other relevant metadata. ETANA-DL,...
148
click to vote
VLDB
1987
ACM
15 years 7 months ago
1987
ACM
This paper presents the design of the storage system for the POSTGRES data base system under construction at Berkeley. It is novel in several ways. First, the storage manager supp...
142
click to vote
SEC
2007
15 years 5 months ago
2007
The concept of an Ephemerizer system has been introduced in earlier works as a mechanism to ensure that a file deleted from the persistent storage remains unrecoverable. The princ...
116
click to vote
IEEEVAST
2010
14 years 11 months ago
2010
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...