3921 search results - page 316 / 785 » Transforming Models with ATL |
154
click to vote
ICFEM
2007
Springer
16 years 24 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
162
click to vote
SIGMETRICS
2005
ACM
16 years 6 days ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
201
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
191
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
153
click to vote
WSC
1998
15 years 8 months ago
1998
In this paper, an efficient simulation environment that utilizes compiler techniques to speed up simulation is presented. The method is based on the utilization of flexible, proce...