649 search results - page 17 / 130 » Design and Analysis of Querying Encrypted Data in Relational... |
81
Voted
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
PODS
2005
ACM
15 years 12 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
110
click to vote
BIODATAMINING
2008
14 years 11 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
PODS
2005
ACM
15 years 12 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...