Sciweavers

3362 search results - page 72 / 673
» A definition of subjective possibility
Sort
View
DBSEC
2006
144views Database» more  DBSEC 2006»
15 years 1 months ago
Policy Classes and Query Rewriting Algorithm for XML Security Views
Most state-of-the-art approaches of securing XML documents are based on a partial annotation of an XML tree with security labels which are later propagated to unlabeled nodes of th...
Nataliya Rassadko
EVOTING
2004
113views Hardware» more  EVOTING 2004»
15 years 1 months ago
Verifiability and Other Technical Requirements for Online Voting Systems
: When developing a catalogue of technical requirements for online voting systems to be used in legally ruled, non-parliamentary elections, major interdisciplinary problems arise w...
Nils Meißner, Volker Hartmann, Dieter Richte...
FMOODS
2006
15 years 1 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
ICVGIP
2004
15 years 1 months ago
On Learning Shapes from Shades
Shape from Shading (SFS) is one of the most extensively studied problems in Computer Vision. However, most of the approaches only deal with Lambertian or other specific shading mo...
Subhajit Sanyal, Mayank Bansal, Subhashis Banerjee...
SCANGIS
2003
15 years 1 months ago
Defining GIS - Assessment of ScanGIS
Geographical Information Systems (GIS) are routinely used by public and private organisations and enterprises as well as lay persons. It is becoming an infrastructure and a precond...
Hans Skov-Petersen