Sciweavers

1234 search results - page 53 / 247
» Organizational Abstractions for Adaptive Systems
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
AOSE
2004
Springer
15 years 11 months ago
A Design Process for Adaptive Behavior of Situated Agents
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande ...
SIGMETRICS
2006
ACM
16 years 7 days ago
Optimizing transmission rate in wireless channels using adaptive probes
Abstract— We consider a wireless system with multiple channels where each channel is either on or off, and probing the state of any channel incurs a cost. We present a polynomial...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar
TFS
2008
100views more  TFS 2008»
15 years 6 months ago
Fully Evolvable Optimal Neurofuzzy Controller Using Adaptive Critic Designs
Abstract--A near-optimal neurofuzzy external controller is designed in this paper for a static compensator (STATCOM) in a multimachine power system. The controller provides an auxi...
Salman Mohagheghi, Ganesh K. Venayagamoorthy, Rona...
ICANN
2009
Springer
16 years 26 days ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...