In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Event visualization tools are commonlyused to facilitate the debugging of distributed applications. Although these tools provide a graphical view of distributed executions, they a...
Abstract- An evolutionary algorithm for the optimization of a function with real parameters is described in this paper. It uses a cooperative co-evolution to breed and reproduce su...