4066 search results - page 464 / 814 » Almost Complete Sets |
151
click to vote
TODAES
2008
15 years 7 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
219
click to vote
TVCG
2008
15 years 7 months ago
2008
Abstract-- We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously r...
228
click to vote
EKAW
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontolog...
195
click to vote
ISOLA
2010
Springer
15 years 6 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
183
click to vote
LOGCOM
2010
15 years 6 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...