59 search results - page 9 / 12 » Static analysis for path correctness of XML queries |
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
Updates over virtual XML views that wrap relational data are not well supported by XML data management systems. This paper studies the problem of whether a correct relational upda...