483 search results - page 51 / 97 » Model Based Deduction for Database Schema Reasoning |
146
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
143
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
136
click to vote
ISMB
1998
15 years 3 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
VLDB
1987
ACM
15 years 5 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
125
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
Ensuring the uniqueness of trademark images and protecting their identities are the most important objectives for the trademark registration process. To prevent trademark infringe...