1573 search results - page 182 / 315 » Signs and Formal Concepts |
123
Voted
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
121
Voted
IHIS
2005
ACM
15 years 7 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
101
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
NORMAS
2005
Springer
15 years 7 months ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
106
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...