Sciweavers

7393 search results - page 331 / 1479
» Synthesis-for-testability using transformations
Sort
View
EDOC
2005
IEEE
15 years 10 months ago
An Aspect Oriented Model Driven Framework
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
Devon M. Simmonds, Raghu Reddy, Robert B. France, ...
ISW
2004
Springer
15 years 10 months ago
The Obfuscation Executive
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
Kelly Heffner, Christian S. Collberg
CAISE
2003
Springer
15 years 10 months ago
View Generation and Optimisation in the AutoMed Data Integration Framework
This paper describes view generation and view optimisation in the AutoMed heterogeneous data integration framework. In AutoMed, schema integration is based on the use of reversibl...
Edgar Jasper, Nerissa Tong, Peter McBrien, Alexand...
ILP
2003
Springer
15 years 10 months ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel
ICPR
2002
IEEE
15 years 9 months ago
Tangent Distance Kernels for Support Vector Machines
When dealing with pattern recognition problems one encounters different types of a-priori knowledge. It is important to incorporate such knowledge into the classification method ...
Bernard Haasdonk, Daniel Keysers