7393 search results - page 964 / 1479 » Synthesis-for-testability using transformations |
158
click to vote
CN
1999
15 years 6 months ago
1999
We propose a generic solution for user adaptation of synchronized multimedia presentations. We consider adaptation as a transformation problem: the user specifies a predicate that...
157
click to vote
COMPUTING
1999
15 years 6 months ago
1999
In line image understandingaminimal lineproperty preserving(MLPP)graphoftheimagecompliments the structural information in geometric graph representations like the run graph. With ...
140
click to vote
JOT
2002
15 years 6 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
131
click to vote
MOC
2002
15 years 6 months ago
2002
We deal with the iterative solution of linear systems arising from so-called dual-dual mixed finite element formulations. The linear systems are of a two-fold saddle point structur...