184 search results - page 4 / 37 » Incremental execution of transformation specifications |
DKE
2011
13 years 3 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
ICDE
2010
IEEE
13 years 12 months ago
2010
IEEE
By imposing a single hierarchy on data, XML makes queries brittle in the sense that a query might fail to produce the desired result if it is executed on the same data organized in...
AGTIVE
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
WWW
2005
ACM
14 years 2 months ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
CAV
2004
Springer
14 years 9 days ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...