75 search results - page 9 / 15 » Modular verification of dynamically adaptive systems |
IWSAS
2000
Springer
13 years 11 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...
WORDS
2002
IEEE
14 years 11 days 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...
ENGL
2007
13 years 7 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
14 years 1 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 ...
DATE
2008
IEEE
14 years 1 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...