161 search results - page 10 / 33 » Design and Mathematical Analysis of Agent-Based Systems |
123
click to vote
CATA
2003
15 years 1 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
135
Voted
JCSS
2011
14 years 7 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
104
click to vote
ENGL
2007
15 years 10 days 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 ...
66
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
84
Voted
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...