Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
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...