Sciweavers

1183 search results - page 177 / 237
» An event-condition-action language for XML
Sort
View
ICDT
2010
ACM
259views Database» more  ICDT 2010»
15 years 11 months ago
Forward-XPath and extended register automata on data-trees
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
Diego Figueira
TOOLS
2008
IEEE
15 years 8 months ago
Guarded Program Transformations Using JTL
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
Tal Cohen, Joseph Gil, Itay Maman
CSR
2007
Springer
15 years 8 months ago
Marrying Words and Trees
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
Rajeev Alur
W4A
2006
ACM
15 years 8 months ago
GraSSML: accessible smart schematic diagrams for all
Graphical representations are a powerful way of conveying information. Their use has made life much easier for most sighted users, but people with disabilities or users who work i...
Zaineb Ben Fredj, David A. Duce
IFIP
2004
Springer
15 years 7 months ago
A Formal Approach to Specify and Deploy a Network Security Policy
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
Frédéric Cuppens, Nora Cuppens-Boula...