23201 search results - page 66 / 4641 » Rewriting Systems with Data |
88
Voted
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...
ALP
1994
Springer
15 years 5 months ago
1994
Springer
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present ...
114
Voted
KES
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...
124
Voted
ASE
2005
15 years 22 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
107
click to vote
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
The Web has been rapidly “deepened” by myriad searchable databases online, where data are hidden behind query forms. Helping users query alternative “deep Web” sources in ...