4126 search results - page 408 / 826 » Relationships with other Formalisms |
198
click to vote
ECMDAFA
2007
Springer
16 years 1 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
164
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
156
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
174
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
165
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...