7393 search results - page 374 / 1479 » Synthesis-for-testability using transformations |
163
Voted
ECMDAFA
2009
Springer
15 years 2 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
174
click to vote
IJRR
2011
14 years 12 months ago
2011
Visual and inertial sensors, in combination, are able to provide accurate motion estimates and are well-suited for use in many robot navigation tasks. However, correct data fusion...
113
Voted
JVCIR
2011
14 years 12 months ago
2011
A recently developed PLUS factorization holds great promise in image coding due to its simplicity and integer reversibility. However, existing PLUS factorizations did not consider...
139
click to vote
WER
2004
Springer
15 years 10 months ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
158
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...