2138 search results - page 280 / 428 » Logical Step-Indexed Logical Relations |
153
click to vote
FOSSACS
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
177
click to vote
ICDT
2005
ACM
16 years 10 hour ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
166
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
161
click to vote
TCC
2005
Springer
15 years 12 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
165
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...