1054 search results - page 157 / 211 » Model Transformations in the Model-Based Development of Real... |
CSFW
2005
IEEE
14 years 2 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...
WCRE
1998
IEEE
14 years 1 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...
VRST
2004
ACM
14 years 2 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...
UML
2005
Springer
14 years 2 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...
TOG
2012
11 years 11 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...