1252 search results - page 100 / 251 » Complex Systems and Agent-Oriented Software Engineering |
116
click to vote
CODES
2006
IEEE
15 years 2 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
84
Voted
VLSI
2007
Springer
15 years 7 months ago
2007
Springer
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
99
Voted
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
109
Voted
PROMAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
122
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...