Sciweavers

2797 search results - page 334 / 560
» Control Structures
Sort
View
SASO
2009
IEEE
15 years 11 months ago
MOCAS: A State-Based Component Model for Self-Adaptation
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
Cyril Ballagny, Nabil Hameurlain, Franck Barbier
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
15 years 11 months ago
Wide-angle localization of intraocular devices from focus
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...
Christos Bergeles, Kamran Shamaei, Jake J. Abbott,...
GECCO
2009
Springer
104views Optimization» more  GECCO 2009»
15 years 10 months ago
Sustaining diversity using behavioral information distance
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...
Faustino J. Gomez
KBSE
2008
IEEE
15 years 10 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
TPHOL
2008
IEEE
15 years 10 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler