1779 search results - page 196 / 356 » A Formal Model of Data Privacy |
138
click to vote
DEXA
2009
Springer
15 years 11 months ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
155
click to vote
SIGMOD
2003
ACM
15 years 10 months ago
2003
ACM
Many web sites contain large sets of pages generated using a common template or layout. For example, Amazon lays out the author, title, comments, etc. in the same way in all its b...
141
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
166
Voted
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
120
click to vote
SIGMOD
1989
ACM
15 years 8 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...