5525 search results - page 594 / 1105 » Verification of Model Transformations |
216
click to vote
SEKE
2005
Springer
16 years 18 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 ...
212
click to vote
ECMDAFA
2006
Springer
15 years 9 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...
175
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...
168
click to vote
SCN
2008
Springer
15 years 7 months ago
2008
Springer
While recent timed-release encryption (TRE) schemes are implicitly supported by a certificateless encryption (CLE) mechanism, the security models of CLE and TRE differ and there is...
181
click to vote
IJCIS
2007
15 years 7 months ago
2007
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...