7393 search results - page 1367 / 1479 » Synthesis-for-testability using transformations |
VLC
2008
14 years 9 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
109
click to vote
CORR
2002
Springer
14 years 9 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
DEDS
2002
14 years 9 months ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
IEEEMM
2002
14 years 9 months ago
2002
ion when we annotate content. This therefore requires us to investigate and model video semantics. Because of the type and volume of data, general-purpose approaches are likely to ...
IJPRAI
2002
14 years 9 months ago
2002
This paper presents a new approach for shape description and invariant recognition by geometric-normalization implemented by neural networks. The neural system consists of a shape...