3771 search results - page 3 / 755 » Subobject Transformation Systems |
ORDER
2011
13 years 22 days ago
2011
Distributive lattices are well known to be precisely those lattices that possess cancellation: x ∨ y = x ∨ z and x ∧ y = x ∧ z imply y = z. Cancellation, in turn, occurs wh...
ECEASST
2010
13 years 3 months ago
2010
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
DSL
2009
13 years 3 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
IFM
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
SWQD
2012
12 years 1 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...