139 search results - page 18 / 28 » Model Checking Graph Transformations: A Comparison of Two Ap... |
TSP
2008
15 years 1 months ago
2008
This paper proposes an extension of the applicability of phase-vocoder-based frequency estimators for generalized sinusoidal models, which include phase and amplitude modulations. ...
119
click to vote
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
100
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
112
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
119
click to vote
EDOC
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper studies the following problem: given a pair of business process models, determine which elements in one model are related to which elements in the other model. This prob...