: Communities of autonomous units are devices to model the interaction of independent processes in a rule-based and graphical way. In this paper, the framework is proposed to descr...
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
Andreas Hoffmann, Axel Rennoch, Ina Schieferdecker...
The general Bandpass problem is NP-hard and was claimed NP-hard when the number of columns is three. Previously we designed a polynomial time row-stacking algorithm for the three ...
This paper initiates a study of connections between local and global properties of graphical games. Specifically, we introduce a concept of local price of anarchy that quantifie...