As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...
Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheu...
With the ever-increasing use of object-oriented middleware in distributed information systems, new challenges are facing the software engineering profession. Often, it is simply a...
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...