1011 search results - page 34 / 203 » Numerical Constraints for XML |
110
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
107
click to vote
WWW
2006
ACM
16 years 14 days ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
180
click to vote
VLDB
2007
ACM
16 years 6 hour ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
122
click to vote
3DPVT
2006
IEEE
15 years 3 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
PODS
2007
ACM
15 years 12 months ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...