86 search results - page 8 / 18 » Debugging and Verification of Multi-Agent Systems |
IAT
2006
IEEE
15 years 3 months ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
FTCS
1998
14 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...