1147 search results - page 127 / 230 » Termination in language-based systems |
181
Voted
ENTCS
2006
2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
15 years 6 months ago
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
181
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
176
click to vote
PUC
2000
15 years 6 months ago
2000
This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design p...
137
click to vote
TPLP
2010
15 years 4 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
167
click to vote
SIGMOD
1996
ACM
15 years 10 months ago
1996
ACM
METU INteroperable Database System (MIND) is a multidatabase system that aims at achieving interoperability among heterogeneous, federated DBMSs. MIND architecture is based on OMG...