The quality of the software system usually depends on how much time testing takes and what testing methodologies are used. More we spend time on testing; more faults can be removed, which leads to more reliable software. However, the testing cost of the software tends to increase in the process. On the other hand, if testing time is too short, the testing cost of the software may be reduced, bu...

This report reviews the applications of decision-related theories (decision theory, utility theory, probability theory, and game theory) in various aspects of multi-agent systems. In recent years, multi-agent systems (MASs) have become a highly active research area as multi-agent systems have a wide range of applications. However, most of real-world environments are very complex and of uncertai...

We propose an autonomous and scalable queueing theory-based methodology to control the performance of a hierarchical network of distributed agents. Multi-agent systems (MAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. Hence, the objective of the control framework is to identify the trade-offs between quality and perf...

The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no adequate theory for this important branch of graph transformation. In this paper we give a new formalization of typed attributed graphs, which allows node and edge attribution. The first main result shows that the corresp...