10159 search results - page 1841 / 2032 » System Design Validation Using Formal Models |
161
click to vote
MEDIAFORENSICS
2010
15 years 20 days ago
2010
One of the critical steps in designing a secure biometric system is protecting the templates of the users that are stored either in a central database or on smart cards. If a biom...
238
click to vote
GIS
2008
ACM
16 years 3 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
217
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
123
click to vote
IJCAI
1993
15 years 3 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
120
click to vote
USS
2008
15 years 4 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...