Sciweavers

10072 search results - page 70 / 2015
» Composition of Model Programs
Sort
View
ECOOP
1999
Springer
15 years 6 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel
JMM2
2008
64views more  JMM2 2008»
15 years 1 months ago
Predict Your Child: a System to Suggest the Facial Appearance of Children
We have developed a novel software program called `Predict Your Child' that, given photographs of potential parent faces, generates plausible looking children. The parent phot...
Charlie D. Frowd, Vicki Bruce, Helen Y. Chang, Yvo...
EPEW
2010
Springer
15 years 3 months ago
Composing Systems While Preserving Probabilities
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
Sonja Georgievska, Suzana Andova
CMSB
2008
Springer
15 years 3 months ago
Analyzing a Discrete Model of Aplysia Central Pattern Generator
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
Ashish Tiwari, Carolyn L. Talcott