1550 search results - page 219 / 310 » Benchmarking for Graph Transformation |
ISIM
2007
15 years 2 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
90
Voted
DMDW
2001
15 years 2 months ago
2001
The problem of data cleaning, which consists of removing inconsistencies and errors from original data sets, is well known in the area of decision support systems and data warehou...
107
click to vote
WICSA
2004
15 years 2 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
104
Voted
ENTCS
2008
15 years 21 days ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
141
Voted
KES
2008
Springer
15 years 18 days ago
2008
Springer
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...