2268 search results - page 81 / 454 » The Essence of Form Abstraction |
MPC
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
FCT
2001
Springer
14 years 19 days ago
2001
Springer
Abstract. We present three results on divisibility monoids. These divisibility monoids were introduced in [11] as an algebraic generalization of Mazurkiewicz trace monoids. (1) We ...
MA
2001
Springer
14 years 17 days ago
2001
Springer
Mobile agents must be prepared to execute on different hosts and therefore in different execution environments. Even when a homogenous exenvironment is offered by abstracting th...
EUROGP
1999
Springer
14 years 12 days ago
1999
Springer
Abstract We consider a form of phenotype plasticity in Genetic Programming (GP). This takes the form of a set of real-valued numerical parameters associated with each individual, a...
FM
1999
Springer
14 years 12 days ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...