7393 search results - page 393 / 1479 » Synthesis-for-testability using transformations |
138
Voted
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
142
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
117
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
A mapmaking robot integrates accumulated sensor data into a data structure that can be used for future localization or planning operations. Localization is the process of determin...
145
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
We propose a new progressive compression scheme for arbitrary topology, highly detailed and densely sampled meshes arising from geometry scanning. We observe that meshes consist o...
149
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...