Sciweavers

7080 search results - page 213 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
PEPM
2012
ACM
13 years 7 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
Janis Voigtländer
80
Voted
NAR
2000
120views more  NAR 2000»
14 years 11 months ago
WIT: integrated system for high-throughput genome sequence analysis and metabolic reconstruction
The WIT (What Is There) (http://wit.mcs.anl.gov/WIT2/ ) system has been designed to support comparative analysis of sequenced genomes and to generate metabolic reconstructions bas...
Ross A. Overbeek, Niels Larsen, Gordon D. Pusch, M...
ESCIENCE
2005
IEEE
15 years 5 months ago
A Grid Environment for Data Integration of Scientific Databases
Effective integration of heterogeneous data sources has been studied as the most pressing challenge in various fields; such as, high energy physics, astronomy, and life sciences. ...
Hideo Matsuda
GECCO
2003
Springer
15 years 5 months ago
Generative Representations for Evolving Families of Designs
Abstract. Since typical evolutionary design systems encode only a single artifact with each individual, each time the objective changes a new set of individuals must be evolved. Wh...
Gregory Hornby
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
14 years 6 months ago
High level model predictive control for plug-and-play process control with stability guaranty
In this paper a method for designing a stabilizing high level model predictive controller for a hierarchical plugand-play process is presented. achieved by abstracting the lower la...
Axel Gottlieb Michelsen, Jakob Stoustrup