4166 search results - page 17 / 834 » A modular module system |
JSS
2000
13 years 7 months ago
2000
To simplify the task of constructing wrapper/monitor for the information sources in data warehouse systems, we provide a modularized design method to re-use the code. By substitut...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— There has been much research into the development of robotic controllers in educational, industrial and government research labs, but limited hardware budgets constrain...
ATC
2007
Springer
13 years 9 months ago
2007
Springer
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
CC
2001
Springer
13 years 11 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
SYNTHESE
2008
13 years 7 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...