Sciweavers

626 search results - page 22 / 126
» Logical Foundations for Data Integration
Sort
View
CSFW
2011
IEEE
12 years 8 months ago
Modular Protections against Non-control Data Attacks
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swa...
SIGMOD
2004
ACM
170views Database» more  SIGMOD 2004»
14 years 8 months ago
A Formal Analysis of Information Disclosure in Data Exchange
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...
Gerome Miklau, Dan Suciu
ESWS
2008
Springer
13 years 10 months ago
Streaming SPARQL - Extending SPARQL to Process Data Streams
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
Andre Bolles, Marco Grawunder, Jonas Jacobi
ER
2007
Springer
187views Database» more  ER 2007»
14 years 2 months ago
Metamodeling Integration Architecture for Open Biomedical Ontologies: The GO Extensions' Case Study
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...
3DPH
2009
145views Healthcare» more  3DPH 2009»
13 years 6 months ago
The Persistent Morse Complex Segmentation of a 3-Manifold
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
Herbert Edelsbrunner, John Harer