852 search results - page 96 / 171 » entcs 2010 |
134
Voted
ENTCS
2006
15 years 3 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
117
Voted
ENTCS
2006
15 years 3 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
122
Voted
ENTCS
2006
15 years 3 months ago
2006
This work describes the architecture of Contorsion, a semantic XPath processor that acts over an RDF mapping of XML. It contributes to a recent research trend that defines an XML-...
147
click to vote
ENTCS
2006
15 years 3 months ago
2006
The current paper makes two contributions for the graph pattern matching problem of model transformation tools. First, model-sensitive search plan generation is proposed for patte...
122
Voted
ENTCS
2006
15 years 3 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...