780 search results - page 76 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
127
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
159
Voted
WISE
2000
Springer
15 years 7 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
131
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Recently, the publishing of structured, semantic information as linked data has gained quite some momentum. For ordinary users on the Internet, however, this information is not yet...
116
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: High throughput microarray technologies have afforded the investigation of genomes, epigenomes, and transcriptomes at unprecedented resolution. However, software packa...
216
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...