374 search results - page 27 / 75 » Towards Translating Graph Transformation Approaches by Model... |
143
click to vote
TAGT
1998
Springer
15 years 8 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
143
click to vote
AAAI
2007
15 years 6 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
133
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
134
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...
127
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...