Sciweavers

3888 search results - page 285 / 778
» Change-Driven Model Transformations
Sort
View
IH
2007
Springer
16 years 25 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,...
CAISE
2007
Springer
16 years 26 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
ICIP
2001
IEEE
16 years 8 months ago
Multibit digital watermarking robust against local nonlinear geometrical distortions
This paper presents an efficient method for the estimation and recovering from nonlinear or local geometrical distortions, such as the random bending attack and restricted project...
Frédéric Deguillaume, Sviatoslav Vol...
ICMCS
2008
IEEE
336views Multimedia» more  ICMCS 2008»
16 years 1 months ago
SIMD optimization of the H.264/SVC decoder with efficient data structure
H.264/scalable video coding (SVC) is a new compression technique that can adapt to various network environments and applications. However, despite its outstanding performance, H.2...
Joohyun Lee, Gwanggil Jeon, Sangjun Park, Taeyoung...