1147 search results - page 127 / 230 » Termination in language-based systems |
115
Voted
ENTCS
2006
2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
15 years 22 days 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...
116
Voted
BMCBI
2004
15 years 18 days 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...
111
Voted
PUC
2000
15 years 15 days 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...
85
Voted
TPLP
2010
14 years 11 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,...
105
click to vote
SIGMOD
1996
ACM
15 years 4 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...