Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. ...
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
While group communication system have been proposed for some time, they are still not used much in actual systems. We believe that one reason for this is the lack of standardisati...
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...