146 search results - page 27 / 30 » Rewriting of Regular Expressions and Regular Path Queries |
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
FOSSACS
2009
Springer
15 years 1 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...