1357 search results - page 223 / 272 » Compositionality in Graph Transformation |
107
click to vote
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
—Redundant via insertion is a widely recommended technique to enhance the via yield and reliability. In this paper, the post-routing redundant via insertion problem is transforme...
114
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
113
Voted
ISIM
2007
15 years 4 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...
118
Voted
DMDW
2001
15 years 4 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...
125
Voted
WICSA
2004
15 years 4 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...