11063 search results - page 270 / 2213 » On the existence of universal models |
171
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
174
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Invertebrate nervous systems serve as important models for neuroscience research because they are comprised of relatively small numbers of individually identified neurons...
180
Voted
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
In applications such as fraud and intrusion detection, it is of great interest to measure the evolving trends in the data. We consider the problem of quantifying changes between tw...
168
Voted
ASM
2004
ASM
16 years 2 days ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
149
click to vote
EUROGP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...