3921 search results - page 543 / 785 » Transforming Models with ATL |
191
click to vote
Publication
We present a method for detecting and describing features in vector flow fields. Our method models flow fields locally using a linear combination of complex monomials. These monomi...
196
click to vote
SDMW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
160
click to vote
TCC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
173
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
We present an approach to prevent overtesting in scan-based delay test. The test data is transformed with respect to functional constraints while simultaneously keeping as many po...
186
click to vote
FGR
2006
IEEE
16 years 21 days ago
2006
IEEE
Motivated by a recently proposed biologically-inspired face recognition approach, psychophysical experiments have been carried out. We measured recognition performance of polar fr...