5525 search results - page 129 / 1105 » Verification of Model Transformations |
135
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
124
click to vote
ECEASST
2006
15 years 3 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
223
Voted
ICIP
2009
IEEE
16 years 4 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...
145
click to vote
IC3
2009
15 years 1 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
141
Voted
WCRE
1996
IEEE
15 years 7 months ago
1996
IEEE
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...