4581 search results - page 256 / 917 » Computing Transformation Semigroups |
175
click to vote
GG
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
160
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Block Sorting process of Burrows and Wheeler can be applied to any sequence in which symbols are (or might be) conditioned upon each other. In particular, it is possible to pa...
158
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
177
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
165
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...