Sciweavers

4902 search results - page 212 / 981
» Multi-agent Systems Methodology
Sort
View
139
Voted
ECBS
2006
IEEE
175views Hardware» more  ECBS 2006»
15 years 11 months ago
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
Ethan K. Jackson, Janos Sztipanovits
KBSE
2008
IEEE
15 years 11 months ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini
100
Voted
ISCAS
2006
IEEE
65views Hardware» more  ISCAS 2006»
15 years 11 months ago
Symbolic analysis of bifurcations in planar variable structure systems
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...
Ubirajara F. Moreno, Eugênio B. Castelan, Ed...
109
Voted
MVA
2007
124views Computer Vision» more  MVA 2007»
15 years 6 months ago
The Agent WiSARD Approach to Intelligent Active Video Surveillance Systems
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...
Massimo De Gregorio
OR
2007
Springer
15 years 4 months ago
Economic evaluation of biomass heating systems: a case of greenhouses in northern Greece
In this paper, a methodology for the evaluation of the economic viability of investment plans for biomass heating systems is applied. The factors participating in the development ...
Ilias J. Gousgouriotis, Yiannis A. Katsigiannis, P...