1054 search results - page 157 / 211 » Model Transformations in the Model-Based Development of Real... |
137
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
162
click to vote
WCRE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
131
click to vote
VRST
2004
ACM
15 years 9 months ago
2004
ACM
An important, potential application of image-based techniques is to create photo-realistic image-based environments for interactive walkthrough. However, existing image-based stud...
165
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
195
click to vote
TOG
2012
13 years 6 months ago
2012
We develop a system for 3D object retrieval based on sketched feature lines as input. For objective evaluation, we collect a large number of query sketches from human users that a...