8828 search results - page 1445 / 1766 » Formal methods in practice |
308
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Recently, as more and more social network data has been published in one way or another, preserving privacy in publishing social network data becomes an important concern. With som...
280
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Validation of multi-column schema matchings is essential for successful database integration. This task is especially difficult when the databases to be integrated contain little o...
325
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In recent years, there has been significant interest in development of ranking functions and efficient top-k retrieval algorithms to help users in ad-hoc search and retrieval in da...
287
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
279
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
There has been a great deal of work in recent years on processing and optimizing queries against XML data. Typically in these previous works, schema information is not considered,...