698 search results - page 59 / 140 » dagstuhl 2007 |
100
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
97
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
In software engineering contexts software may be compared for similarity in order to detect duplicate code that indicates poor design, and to reconstruct evolution history. Malicio...
49
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
This report discusses terminology choices and considerations relating to copied or redundant code within software systems, i.e., relating to "code clones." Inadequacies o...
108
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
This paper gives an overview of shape dissimilarity measure properties, such as metric and robustness properties, and of retrieval performance measures. Fifteen shape similarity me...
91
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Service-oriented architectures (SOA) are increasingly used in the context of business processes. However, the modeling approaches for process-driven SOAs do not yet sufficiently i...