Sciweavers

126 search results - page 9 / 26
» Functional Blueprints: An Approach to Modularity in Grown Sy...
Sort
View
LCTRTS
2010
Springer
14 years 2 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
NIPS
1994
13 years 9 months ago
Combining Estimators Using Non-Constant Weighting Functions
This paper discusses the linearly weighted combination of estimators in which the weighting functions are dependent on the input. We show that the weighting functions can be deriv...
Volker Tresp, Michiaki Taniguchi
AOSD
2007
ACM
13 years 11 months ago
Highly configurable transaction management for embedded systems
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
Mario Pukall, Thomas Leich, Martin Kuhlemann, Mark...
AGP
1994
IEEE
13 years 11 months ago
A Compositional Semantics for Conditional Term Rewriting Systems
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
María Alpuente, Moreno Falaschi, Marí...
ENGL
2007
141views more  ENGL 2007»
13 years 7 months ago
A Novel Multi-Agent Controller for Dynamic Systems based on Supervisory Loop Approach
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
Sukumar Kamalasadan