Workflow management technologies play a very important role in constructing grid application environment by automating service composition and execution. With the fast spread of grid technology, workflow management sy...
详细信息
ISBN:
(纸本)9780769526942
Workflow management technologies play a very important role in constructing grid application environment by automating service composition and execution. With the fast spread of grid technology, workflow management system should be flexible to meet increasing requirements of service composition. This paper introduces a distributed workflow management approach DWM4CGSP named Distributed Workflow Management for CGSP, which can improve capability of workflow execution by dynamically assimilating new workflow engines and balancing workload among these engines. Moreover dynamic load balancing is applied in DWM4CGSP in order to make workload on each engine at reasonable level. Finally an implementation demonstrates that DWM4CGSP works well in CGSP and can be further extended to other similar grids.
This article presents novel results on automated test generation for hybrid control systems, which involves the generation of both discrete and real-valued, potentially time-continuous, input data to the system under ...
详细信息
ISBN:
(纸本)1595935843
This article presents novel results on automated test generation for hybrid control systems, which involves the generation of both discrete and real-valued, potentially time-continuous, input data to the system under test. Our generation techniques are allocated in two layers: The upper layer contains a symbolic test case generator constructing test cases as paths through an abstracted representation model of the system under test. Different test strategies designed to pursue various quality objectives lead to different selections of symbolic test cases. Symbolic test cases are transformed into feasible, i. e., executable, test cases by constructing concrete sequences of input data, allowing the execution of the pre-planned transition sequence. The input data construction is performed by the lower layer consisting of a constraint solver which applies interval analysis techniques to identify the domains from where to pick the appropriate test data. This process is made efficient by combining subpaving with forward-backward interval constraint propagation. On both layers learning algorithms are applied in order to avoid the spending of computation time on paths and sub-constraints, respectively, which are already known not to contribute to the solution. Copyright 2006 acm.
In ubiquitous computing environments, we will access various devices and appliances from a variety of mobile devices such as mobile phones, PDAs and wearable devices. However, we need to reuse existing interactive app...
详细信息
ISBN:
(纸本)1595931082
In ubiquitous computing environments, we will access various devices and appliances from a variety of mobile devices such as mobile phones, PDAs and wearable devices. However, we need to reuse existing interactive applications that adopt traditional GUI toolkits that assume to use mouses and keyboards, and these applications should be operated from the mobile interaction devices. Our approach enables us to use existing GUI-based interactive applications although a variety of interaction devices can be adopted to control the applications. Therefore, the approach allows us to use traditional GUI toolkits to build ubiquitous computing applications that choose appropriate interaction devices dynamically. The paper describes the design and implementation of our middle-ware to realize the approach. We also present some examples to show the effectiveness of our approach. Copyright 2006 acm.
暂无评论