Search For:

Displaying 1-4 out of 4 total
Effective Message-Sequence Generation for Testing BPEL Programs
Found in: IEEE Transactions on Services Computing
By Yitao Ni, Shan-Shan Hou, Lu Zhang, Jun Zhu, Zhong Jie Li, Qian Lan, Hong Mei, Jia-Su Sun
Issue Date:January 2013
pp. 7-19
With the popularity of Web Services and Service-Oriented Architecture (SOA), quality assurance of SOA applications, such as testing, has become a research focus. Programs implemented by the Business Process Execution Language for Web Services (WS-BPEL), wh...
 
A Quantitative Method for Reasoning about Knowledge
Found in: Artificial Intelligence and Computational Intelligence, International Conference on
By Qian Lan, Teng Ma
Issue Date:November 2009
pp. 85-88
It is important to reason about the possibility of certain events as well as the knowledge of agents in many of application areas for reasoning about knowledge. This paper proposes the concept of belief degree of an agent with respect to a fact. Moreover, ...
 
Generating Effective Test Sequences for BPEL Testing
Found in: Quality Software, International Conference on
By Shan-Shan Hou, Lu Zhang, Qian Lan, Hong Mei, Jia-Su Sun
Issue Date:August 2009
pp. 331-340
With the popularity of Web Services and Service-Oriented Architecture (SOA), quality assurance of SOA applications, such as testing, has become a research focus. Programs implemented by Business Process Execution Language for Web Services (BPEL), which can...
 
Software Transactional Memory for GPU Architectures
Found in: Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO '14)
By Depei Qian, Lan Gao, Nilanjan Goswami, Rui Wang, Tao Li, Yunlong Xu
Issue Date:February 2014
pp. 1-10
Modern GPUs have shown promising results in accelerating computation intensive and numerical workloads with limited dynamic data sharing. However, many real-world applications manifest ample amount of data sharing among concurrently executing threads. Ofte...
     
 1