Sciweavers

2722 search results - page 302 / 545
» The Model Evolution Calculus
Sort
View
146
Voted
IANDC
2006
126views more  IANDC 2006»
15 years 3 months ago
Coalgebraic semantics for timed processes
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
Marco Kick, John Power, Alex Simpson
117
Voted
MODELS
2009
Springer
15 years 10 months ago
Limitations of Automating Model Migration in Response to Metamodel Adaptation
In consequence of changing requirements and technological progress, modeling languages are subject to change. When their metamodels are adapted to reflect those changes, existing ...
Markus Herrmannsdoerfer, Daniel Ratiu
211
Voted
ICMT
2011
Springer
14 years 7 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
ICANN
2005
Springer
15 years 9 months ago
Improved, Simpler Neural Controllers for Lamprey Swimming
Swimming for the lamprey (an eel-like fish) is governed by activity in its spinal neural network, called a central pattern generator (CPG). Simpler, alternative controllers can be...
Leena N. Patel, John Hallam, Alan F. Murray
112
Voted
IWINAC
2005
Springer
15 years 9 months ago
GA-Selection Revisited from an ES-Driven Point of View
Whereas the selection concept of Genetic Algorithms (GAs) and Genetic Programming (GP) is basically realized by the selection of above-average parents for reproduction, Evolution S...
Michael Affenzeller, Stefan Wagner 0002, Stephan M...