3921 search results - page 10 / 785 » Transforming Models with ATL |
RE
2004
Springer
14 years 2 months ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...
PKC
2012
Springer
11 years 11 months ago
2012
Springer
NLDB
2000
Springer
14 years 11 days ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...
ICEIS
2007
IEEE
14 years 19 days ago
2007
IEEE
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...