23201 search results - page 35 / 4641 » Rewriting Systems with Data |
121
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
134
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
120
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
126
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
136
click to vote
RP
2010
Springer
15 years 1 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...