Moving object detection is a fundamental task for a variety of traffic applications. In this paper the Daubechies and biorthogonal wavelet families are exploited for extracting the relevant movement information in moving ...

Deciding whether a service S can be substituted by another service S0 is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability ...

Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to ...

An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in ...

Distributed algorithms are often part of a larger distributed system. Usually the properties of the algorithm are proven for the algorithm in isolation. Then, it is not obvious how the algorithm behaves integrated into a ...

Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, ...