CS Store Search
Displaying 1-4 out of 4 total
Effective Message-Sequence Generation for Testing BPEL Programs
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
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
Artificial Intelligence and Computational Intelligence, International Conference on
By Qian Lan, Teng Ma
Issue Date:November 2009
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
Quality Software, International Conference on
By Shan-Shan Hou, Lu Zhang, Qian Lan, Hong Mei, Jia-Su Sun
Issue Date:August 2009
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
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...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.