Sciweavers

7393 search results - page 233 / 1479
» Synthesis-for-testability using transformations
Sort
View
ESORICS
1994
Springer
15 years 8 months ago
On the Expressive Power of the Unary Transformation Model
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
Ravi S. Sandhu, Srinivas Ganta
DASFAA
2004
IEEE
94views Database» more  DASFAA 2004»
15 years 7 months ago
On View Transformation Support for a Native XML DBMS
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...
Daofeng Luo, Ting Chen, Tok Wang Ling, Xiaofeng Me...
BMVC
2001
15 years 6 months ago
Detection Algorithm of Particle Contamination in Reticle Images with Continuous Wavelet Transform
This paper presents an inspection method of particle contamination for semiconductor reticles using continuous wavelet transform. Particle defect is considered as a singularity in...
Chaoquan Chen, Guoping Qiu
CSMR
2008
IEEE
15 years 5 months ago
Decision Reuse in an Interactive Model Transformation
Propagating incremental changes and maintaining traceability are challenges for interactive model transformations, i.e. ones that combine automation with user decisions. After evo...
Mika Siikarla, Tarja Systä
JIISIC
2007
15 years 5 months ago
A Minimal OCL-based Profile for Model Transformation
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
Roxana S. Giandini, Gabriela Pérez, Claudia...