1054 search results - page 126 / 211 » Guarded Expressions in Practice |
282
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
317
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Database query languages can be intimidating to the nonexpert, leading to the immense recent popularity for keyword based search in spite of its significant limitations. The holy ...
188
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
171
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
To facilitate queries over semi-structured data, various structural summaries have been proposed. Structural summaries are derived directly from the data and serve as indices for ...
159
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...