Sciweavers

14809 search results - page 311 / 2962
» Model transformation by demonstration
Sort
View
IH
2007
Springer
16 years 26 days ago
A Graph Game Model for Software Tamper Protection
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
Nenad Dedic, Mariusz H. Jakubowski, Ramarathnam Ve...
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
16 years 9 days ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
CVPR
1997
IEEE
15 years 11 months ago
True Multi-Image Alignment and its Application to Mosaicing and Lens Distortion Correction
Multiple images of a scene are related through 20/3D view transformations and linear and non-linear camera transformations. In all the traditional techniques to compute these tran...
Harpreet S. Sawhney, Rakesh Kumar
CAISE
2007
Springer
16 years 27 days ago
Automatic Generation of Model Translations
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
Paolo Papotti, Riccardo Torlone
184
Voted
ISCAS
1999
IEEE
109views Hardware» more  ISCAS 1999»
15 years 11 months ago
Solution of vector partial differential equations by transfer function models
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
Rudolf Rabenstein, Lutz Trautmann