75 search results - page 9 / 15 » Modular verification of dynamically adaptive systems |
109
Voted
IWSAS
2000
Springer
15 years 6 months ago
2000
Springer
To facilitate the design of large-scale, self-adaptive systems, we have developed the Port-Based Adaptable Agent Architecture. This distributed, multiagent architecture allows syst...
138
Voted
WORDS
2002
IEEE
15 years 7 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
124
Voted
ENGL
2007
15 years 2 months ago
2007
— 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 ...
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
132
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...