281 search results - page 40 / 57 » Querying the Guarded Fragment |
76
Voted
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
DBSEC
2009
14 years 11 months ago
2009
Existing approaches for protecting sensitive information stored (outsourced) at external "honest-but-curious" servers are typically based on an overlying layer of encrypt...
JCSS
2000
14 years 10 months ago
2000
We investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically ...
NAR
2011
14 years 1 months ago
2011
PREX (http://www.csb.wfu.edu/prex/) is a database of currently 3516 peroxiredoxin (Prx or PRDX) protein sequences unambiguously classified into one of six distinct subfamilies. Pe...
76
Voted
BTW
2005
Springer
15 years 3 months ago
2005
Springer
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...