399 search results - page 25 / 80 » Verification of System Level Model Transformations |
121
click to vote
ESTIMEDIA
2003
Springer
15 years 7 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
149
Voted
LCTRTS
2010
Springer
15 years 11 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
134
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
120
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
196
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
- An adaptive watermarking method based on the human visual system model and the fuzzy inference system in wavelet domain is proposed. Fuzzy logic is used for data fusion and build...