184 search results - page 26 / 37 » Incremental execution of transformation specifications |
EDOC
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper, we present a constraint-based approach for selecting and deploying active network components, called proxylets, which execute on servers within the network to perfo...
WETICE
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
EDBT
2006
ACM
14 years 1 months ago
2006
ACM
There has been growing interest in the addition of update operations to languages that operate on XML data, for example, XQuery and XJ. These update operations support efficient an...
ENTCS
2008
13 years 10 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...