332 search results - page 15 / 67 » Specifying Complex and Structured Systems with Evolving Alge... |
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
UTP
2010
13 years 5 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Self-organization of brain areas in animals begins prenatally, evidently driven by spontaneously generated internal patterns. The neural structures continue to develop postnatally...
IJCNN
2008
IEEE
14 years 1 months ago
2008
IEEE
—Since machine learning has become a tool to make more efficient design of sophisticated systems, we present in this paper a novel methodology to create powerful neural network ...
ENTCS
2010
13 years 7 months ago
2010
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic compon...