3081 search results - page 451 / 617 » A Formal Ontology of Properties |
172
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...
179
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
157
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
139
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
173
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...