Sciweavers

182 search results - page 19 / 37
» Enforcing Robust Declassification
Sort
View
CP
2007
Springer
14 years 4 months ago
Path Consistency by Dual Consistency
Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive sin...
Christophe Lecoutre, Stéphane Cardon, Julie...
SSD
1993
Springer
152views Database» more  SSD 1993»
14 years 1 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
DBSEC
2010
162views Database» more  DBSEC 2010»
13 years 11 months ago
Distributed and Secure Access Control in P2P Databases
The intent of peer data management systems (PDMS) is to share as much data as possible. However, in many applications leveraging sensitive data, users demand adequate mechanisms to...
Angela Bonifati, Ruilin Liu, Hui (Wendy) Wang
USS
2004
13 years 11 months ago
Design of the EROS Trusted Window System
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
Jonathan S. Shapiro, John Vanderburgh, Eric Northu...
CVPR
2007
IEEE
14 years 12 months ago
Speckle Tracking in 3D Echocardiography with Motion Coherence
Tracking of speckles in echocardiography enables the study of myocardium deformation, and thus can provide insights about heart structure and function. Most of the current methods...
Xubo B. Song, Andriy Myronenko, David J. Sahn