2733 search results - page 352 / 547 » The Constellation Query Language |
ICDT
2010
ACM
14 years 6 months ago
2010
ACM
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...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
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...
CSMR
2005
IEEE
14 years 2 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Exploiting lexical and semantic relationships in large unstructured text collections can significantly enhance managing, integrating, and querying information locked in unstructur...