2722 search results - page 151 / 545 » The Model Evolution Calculus |
IWANN
1995
Springer
13 years 11 months ago
1995
Springer
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...
WSR
2008
13 years 9 months ago
2008
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
AKA
2004
13 years 9 months ago
2004
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
— In this paper, we present an analytical analysis of the convergence of raptor codes under joint decoding over the binary input additive white noise channel (BIAWGNC), and deriv...
SLE
2009
Springer
14 years 2 months ago
2009
Springer
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...