7393 search results - page 216 / 1479 » Synthesis-for-testability using transformations |
121
Voted
TIT
2010
14 years 10 months ago
2010
In this paper, a new class of Bayesian lower bounds is proposed. Derivation of the proposed class is performed via projection of each entry of the vector-function to be estimated ...
124
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
126
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
124
Voted
ENTCS
2008
15 years 3 months ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
118
click to vote
JCST
2008
15 years 3 months ago
2008
Current techniques for transforming unforgeable signature schemes (the forged message has never been signed) to strongly unforgeable ones (the forged message could have been signed...