239 search results - page 29 / 48 » Reusing Model Transformations While Preserving Properties |
102
click to vote
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
102
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
TWC
2008
14 years 11 months ago
2008
The generation of multiple uncorrelated Rayleigh fading waveforms is often demanded for simulating wideband fading channels, multiple-input multiple-output (MIMO) channels, and div...
132
click to vote
IMR
2004
Springer
15 years 5 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
104
click to vote
AAMAS
2004
Springer
14 years 11 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...