5668 search results - page 897 / 1134 » The case for software evolution |
143
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
116
click to vote
WCRE
2007
IEEE
15 years 11 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...
124
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an extension of the ShapeBugs distributed formation algorithm which enables 2D mobile agents to agree on a consensus coordinate system starting f...
123
Voted
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
In Cooper, part of the student support will be provided by a Question Answering application in the form of a webservice. Question Answering allows a user to use the content of proj...
117
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...