2722 search results - page 303 / 545 » The Model Evolution Calculus |
133
Voted
ICARIS
2004
Springer
15 years 8 months ago
2004
Springer
Proteins are the driving force in development (embryogenesis) and the immune system. Here we describe how a model of proteins designed for evolutionary development in computers can...
142
click to vote
ISMIR
2001
Springer
15 years 7 months ago
2001
Springer
We present a technique that, given a sequence of musical note onset times, performs simultaneous identi cation of the notated rhythm and the variable tempo associated with the tim...
139
Voted
JMLC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
112
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
139
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...