3921 search results - page 414 / 785 » Transforming Models with ATL |
206
click to vote
QEST
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
163
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
154
click to vote
EUROCRYPT
2004
Springer
16 years 6 days ago
2004
Springer
We provide methods for transforming an encryption scheme susceptible to decryption errors into one that is immune to these errors. Immunity to decryption errors is vital when const...
205
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
201
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...