3771 search results - page 203 / 755 » Subobject Transformation Systems |
116
Voted
SOFSEM
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
169
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
116
Voted
BPM
2009
Springer
15 years 10 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
142
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
122
Voted
EDOC
2008
IEEE
15 years 10 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...