5525 search results - page 858 / 1105 » Verification of Model Transformations |
161
click to vote
ICWE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
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...
197
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 22 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...