5525 search results - page 464 / 1105 » Verification of Model Transformations |
216
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
191
click to vote
CIBCB
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
162
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
203
click to vote
MOBICOM
2003
ACM
16 years 9 days ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
226
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...