3771 search results - page 3 / 755 » Subobject Transformation Systems |
167
click to vote
ORDER
2011
14 years 8 months 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...
114
Voted
ECEASST
2010
14 years 11 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...
111
Voted
DSL
2009
14 years 11 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...
129
Voted
IFM
2009
Springer
14 years 11 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...
142
Voted
SWQD
2012
13 years 9 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...