Search For:

Displaying 1-35 out of 35 total
A Risk-Driven Selection Approach for Transactional Web Service Composition
Found in: Grid and Cloud Computing, International Conference on
By Hai Liu, Weimin Zhang, Kaijun Ren, Zhuxi Zhang, Cancan Liu
Issue Date:August 2009
pp. 391-397
In web service composition (WSC), quality of service (QoS)-based web services selection has been a critical research issue, and many service selection methods have been presented aiming at resolving this issue, However, most of the existing methods ignore ...
 
BPEL-Based Workflow Management and Parallel Job Scheduling in Ensemble Prediction
Found in: Grid and Cloud Computing, International Conference on
By Cancan Liu, Weimin Zhang, Zhigang Luo, Fengshun Lu, Hai Liu
Issue Date:August 2009
pp. 409-414
There are increasingly demanding for huge computing capabilities and complex processes managing technologies along with the development of large-scale parallel scientific computing applications. Taking Ensemble Prediction in climate domain for example, we ...
 
Managing Large-Scale Scientific Computing in Ensemble Prediction Using BPEL
Found in: Parallel and Distributed Processing with Applications, International Symposium on
By Cancan Liu, Weimin Zhang, Zhigang Luo, Xiaoqun Cao, Hai Liu
Issue Date:August 2009
pp. 94-101
The development of large-scale parallel scientific computing applications has put forward more urgent demands for powerful computing capacities and complex process managing technologies. Meanwhile, the scientific experiment processes become more and more c...
 
Service-Oriented Reliable Problem Solving Environment for Scientific Computation
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Cancan Liu, Weimin Zhang, Zhigang Luo, Hai Liu, Lin Xiao
Issue Date:December 2008
pp. 421-426
Due to the large-scale and long running of scientific computation under the dynamic and unsteady grid architecture, the capability of fault-tolerance of scientific workflow management system becomes more and more important. In order to handle inevitable fa...
 
Exploiting Semantics for Analyzing and Verifying Business Rules in Web Services Composition and Contracting
Found in: Web Services, IEEE International Conference on
By Hai Liu, Qing Li, Naijie Gu, An Liu
Issue Date:September 2008
pp. 112-119
Web services composition process needs business rules to regulate the behavior of the partner services. However, designing these rules is time-consuming and error-prone, especially under the condition that current standards barely provide any abstract and ...
 
Building Profit-Aware Service-Oriented Business Applications
Found in: Web Services, IEEE International Conference on
By An Liu, Qing Li, Liusheng Huang, Hai Liu
Issue Date:September 2008
pp. 489-496
Service composition is becoming a prevalent way to building service-oriented business applications (SOBAs). In an open service environment, the profit of composition (PoC) is a primary concern of building such applications. How to improve the PoC is a sign...
 
QoS-Aware Scheduling of Web Services
Found in: Web-Age Information Management, International Conference on
By An Liu, Qing Li, Liusheng Huang, Mingjun Xiao, Hai Liu
Issue Date:July 2008
pp. 171-178
QoS-Aware web services composition has recently received much attention. While most work focused on service selection, we study QoS in another stage of the life cycle of composite services, namely, scheduling. An interesting problem is whether we can obtai...
 
Modeling and Reasoning about Semantic Web Services Contract Using Description Logic
Found in: Web-Age Information Management, International Conference on
By Hai Liu, Qing Li, Naijie Gu, An Liu
Issue Date:July 2008
pp. 179-186
Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. so...
 
A Scientific-Workflow-Based Execution Environment for Ensemble Prediction
Found in: Grid and Pervasive Computing, International Conference on
By Cancan Liu, Weimin Zhang, Zhigang Luo, Hai Liu, Yan Zhong
Issue Date:May 2008
pp. 29-36
Ensemble prediction is a great method for severe weather forecasting and a new direction for operational forecast. With the requirement and the demand of ensemble prediction, this paper presents a scientific-workflow-based solution for the forecasting proc...
 
A Distributed and Efficient Flooding Scheme Using 1-Hop Information in Mobile Ad Hoc Networks
Found in: IEEE Transactions on Parallel and Distributed Systems
By Hai Liu, Xiaohua Jia, Peng-Jun Wan, Xinxin Liu, Frances F. Yao
Issue Date:May 2007
pp. 658-671
<p><b>Abstract</b>—Flooding is one of the most fundamental operations in mobile ad hoc networks. Traditional implementation of flooding suffers from the problems of excessive redundancy of messages, resource contention, and signal collisi...
 
Minimum-Cost Sensor Placement for Required Lifetime in Wireless Sensor-Target Surveillance Networks
Found in: IEEE Transactions on Parallel and Distributed Systems
By Hai Liu,Xiaowen Chu,Yiu-Wing Leung,Rui Du
Issue Date:September 2013
pp. 1783-1796
In sensor-target surveillance networks, sensors are typically powered by batteries with limited energy and hence it is important to manage the energy usage. In the literature, several methods have been proposed to maximize the lifetime of these networks. W...
 
Research on Nonlinear Synthetic Controller for Marine Diesel Engine Generator
Found in: 2013 Fourth International Conference on Digital Manufacturing & Automation (ICDMA)
By Meng Jie,Lan Hai,Liu Fanming
Issue Date:June 2013
pp. 1101-1105
In order to improve the marine power system robustness for varying parameters, and attenuate the persistent disturbances effect on power system stability. In this paper, based on the nonlinear robust model of the power system including static load, the sto...
 
Jump-Stay Rendezvous Algorithm for Cognitive Radio Networks
Found in: IEEE Transactions on Parallel and Distributed Systems
By Hai Liu,Zhiyong Lin,Xiaowen Chu,Yiu-Wing Leung
Issue Date:October 2012
pp. 1867-1881
Cognitive radio networks (CRNs) have emerged as advanced and promising paradigm to exploit the existing wireless spectrum opportunistically. It is crucial for users in CRNs to search for neighbors via rendezvous process and thereby establish the communicat...
 
Visual Simulation of Techniques and Effects of Thinning of Chinese Fir Plantations with Different Planting Densities
Found in: 2012 IEEE 12th International Conference on Computer and Information Technology (CIT)
By Yongliang Li,Huaiqing Zhang,Xian Jiang,Hai Liu,Ning Zhang,Yilong Kuang
Issue Date:October 2012
pp. 94-100
The selection of the planting density and the implementation of thinning measures reflect the level of the forest management. The plot of Chinese fir plantation with the size of 30m×30m and different planting densities including 2m×3m, 2m×1.5m and 2m×1m we...
 
Controlled Straight Mobility and Energy-Aware Routing in Robotic Wireless Sensor Networks
Found in: Distributed Computing in Sensor Systems and Workshops, International Conference on
By Rafael Falcon,Hai Liu,Amiya Nayak,Ivan Stojmenovic
Issue Date:May 2012
pp. 150-157
Power-aware routing and controlled mobility schemes are two commonly used mechanisms for improving communications in a wireless sensor network. While the former actively consider the transmission costs when selecting the next hop on the route, the latter i...
 
General Maximal Lifetime Sensor-Target Surveillance Problem and Its Solution
Found in: IEEE Transactions on Parallel and Distributed Systems
By Hai Liu,Xiaowen Chu,Yiu-Wing Leung,Xiaohua Jia,Peng-Jun Wan
Issue Date:October 2011
pp. 1757-1765
We address a new and general maximal lifetime problem in sensor-target surveillance. We assume that each sensor can watch at most k targets (k \ge 1) and each target should be watched by h sensors (h \ge 1) at any time. The problem is to schedule sensors t...
 
Ring-Walk Based Channel-Hopping Algorithms with Guaranteed Rendezvous for Cognitive Radio Networks
Found in: IEEE-ACM International Conference on Green Computing and Communications and International Conference on Cyber, Physical and Social Computing
By Hai Liu, Zhiyong Lin, Xiaowen Chu, Yiu-Wing Leung
Issue Date:December 2010
pp. 755-760
Rendezvous is a fundamental and essential operation for users of cognitive radio networks (CRNs) to meet and establish a link on a common channel, so that information exchange and data communication can be carried on. This work addresses the problem of bli...
 
A Novel Selection Approach for Transactional Web Services Composition
Found in: Grid and Cloud Computing, International Conference on
By Hai Liu, Weimin Zhang, Kaijun Ren, Zhuxi Zhang
Issue Date:November 2010
pp. 450-456
QoS-aware services selection as a key step for web services composition has been studied widely. It could select optimal candidate services to non-functional properties for each task in abstract web service composition (WSC). Nowadays, there are lots of re...
 
Expansion of Digital Reading Function in Library Service
Found in: International Conference on E-Business and E-Government
By Bai-huan Hai,Liu-kun Zhao
Issue Date:May 2010
pp. 4025-4027
This article briefly expounds the conception of “Digital reading”,illustrates the development trends of “Digital reading”and how to achieve it. “Digital reading” is changing the trachtional model of library services. In the light of how to deal with “digit...
 
A role hierarchical group awareness model and its time possibility analysis based fuzzy time
Found in: International Conference on Computer Supported Cooperative Work in Design
By Jun Zhu, Yong Tang, Jianguo Li, Hai Liu
Issue Date:April 2009
pp. 38-43
A role based hierarchical group awareness model (RHGAM) on the basis of the previous research was presented in this paper. Regarding role as the basis of the group cooperation, firstly RHGAM constructed a group cooperation environment (GCE), and then GCE w...
 
Microfabricated breath sensor based on carbon nanotubes for respiration monitoring
Found in: International Conference on Nano/Micro Engineered and Molecular Systems
By Hai Liu, Xiaohang Chen, Dong Xu, Zhongyu Hou, Yafei Zhang
Issue Date:January 2009
pp. 102-105
A microfabricated breath sensor based on multi-walled carbon nanotubes (MWCNTs) has been designed, developed and tested. This sensor has a simple capacitor structure, including a pair of metal electrodes fabricated by micromachining, which are then coated ...
 
Enhancing Web Services Conversation with Exception Contexts for Handling Exceptions of Composite Services
Found in: E-Commerce Technology, IEEE International Conference on, and Enterprise Computing, E-Commerce, and E-Services, IEEE International Conference on
By Hai Liu, Qing Li, Naijie Gu, Dickson K.W. Chiu
Issue Date:July 2007
pp. 39-46
The successful execution of a composite service relies on not only its internal design and states, but also the execution of its autonomous, heterogeneous, and distributed participants. Exception handling for a composite service is facing great challenge. ...
 
Maximal Lifetime Scheduling for Sensor Surveillance Systems with K Sensors to One Target
Found in: IEEE Transactions on Parallel and Distributed Systems
By Hai Liu, Pengjun Wan, Xiaohua Jia
Issue Date:December 2006
pp. 1526-1536
<p><b>Abstract</b>—This paper addresses the maximal lifetime scheduling for sensor surveillance systems with <tmath>K</tmath> sensors to 1 target. Given a set of sensors and targets in an Euclidean plane, a sensor can watch on...
 
Energy Efficient Broadcast Routing in Static Ad Hoc Wireless Networks
Found in: IEEE Transactions on Mobile Computing
By Deying Li, Xiaohua Jia, Hai Liu
Issue Date:April 2004
pp. 144-151
<p><b>Abstract</b>—In this paper, we discuss energy efficient broadcast in ad hoc wireless networks. The problem of our concern is: Given an ad hoc wireless network, find a broadcast tree such that the energy cost of the broadcast tree is...
 
Dynamic Bandwidth Allocation for VBR Video Traffic Based on Scene Change Identification
Found in: Information Technology: Coding and Computing, International Conference on
By Hai Liu, Nirwan Ansari, Yun-Qing Shi
Issue Date:March 2000
pp. 284
To guarantee quality of service (QoS), the requirements of video transmission, such as delay and cell loss rate (CLR), are very stringent. These constraints are difficult to meet if high network utilization is desired. In this paper, dynamic bandwidth allo...
 
Multiple Radios for Fast Rendezvous in Cognitive Radio Networks
Found in: IEEE Transactions on Mobile Computing
By Lu Yu,Hai Liu,Yiu-Wing Leung,Xiaowen Chu,Zhiyong Lin
Issue Date:February 2015
pp. 1
Rendezvous is a fundamental operation in cognitive radio networks (CRNs) for establishing a communication link on a commonly-available channel between cognitive users. The existing work on rendezvous implicitly assumes that each cognitive user is equipped ...
 
Constructing Connected-Dominating-Set with Maximum Lifetime in Cognitive Radio Networks
Found in: IEEE Transactions on Computers
By Zhiyong Lin,Hai Liu,Xiaowen Chu,Yiu-Wing Leung,Ivan Stojmenovic
Issue Date:May 2013
pp. 1
Connected-dominating-set (CDS) is a representative technique for constructing virtual backbones of wireless networks and thus facilitates implementation of many tasks including broadcasting, routing, etc. Most of existing works on CDS aim at constructing t...
 
On-Line Dynamic Bandwidth Allocation For Vbr Video Transmission
Found in: Information Technology: Coding and Computing, International Conference on
By Hai Liu, Nirwan Ansari, Yun Q. Shi
Issue Date:April 2001
pp. 0354
ABSTRACT: To guarantee quality of service (QoS), the requirements for video transmission, such as delay and cell loss rate (CLR), are very stringent. These constraints are difficult to meet if high net work utilization is desired. In this paper, on-line dy...
 
Web services provision: solutions, challenges and opportunities (invited paper)
Found in: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication (ICUIMC '09)
By An Liu, Baoping Lin, Hai Liu, Liusheng Huang, Naijie Gu, Qing Li
Issue Date:January 2009
pp. 1-24
Web services provision is the process of assigning particular services to the constituent tasks of business processes. It describes a promising scenario where services are dynamically chosen and invoked in a business process according to their functional a...
     
A logical framework for modeling and reasoning about semantic web services contract
Found in: Proceeding of the 17th international conference on World Wide Web (WWW '08)
By An Liu, Hai Liu, Naijie Gu, Qing Li
Issue Date:April 2008
pp. 1-7
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services...
     
The Intel labs Haskell research compiler
Found in: Proceedings of the 2013 ACM SIGPLAN symposium on Haskell (Haskell '13)
By Hai Liu, Leaf Petersen, Neal Glew, Todd A. Anderson
Issue Date:September 2013
pp. 105-116
The Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the Haskell programming language, along with its own extensions to the language and libraries. Haskell's lazy semantics imposes a runtime model which is in general difficult to ...
     
Compress-and-conquer for optimal multicore computing
Found in: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming (DAMP '10)
By Hai Liu, Paul Hudak, Zhijing G. Mou
Issue Date:January 2010
pp. 35-44
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of size n, the problem is first reduced to p smaller problems, each of which can ...
     
Causal commutative arrows and their optimization
Found in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (ICFP '09)
By Eric Cheng, Hai Liu, Paul Hudak
Issue Date:August 2009
pp. 35-46
Arrows are a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in particular are a good abstraction for signal processing and dataflow computations. Most notably, arrows form the basis for a domain ...
     
Implementation of OpenWrt-based IP PnP gateway
Found in: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (Mobility '08)
By Hsi-Hai Liu, Ing-Yi Chen, Sy-Yen Kuo, Yuh-Rong Leu, Yun-Yu Lee
Issue Date:September 2008
pp. 1-21
Wireless Networks have been widely used by people with mobile device or laptop nowadays. There are more and more coffee shops, universities, hotels, and other business that provide services of accessing the Internet via wireless LAN. In the small-scale hot...
     
An Improved Method of Image Denoising Base on Stationary Wavelet
Found in: Intelligent Systems, WRI Global Congress on
By Liu En-hai, Liu Hong-pu, Zhang Yan, Guo Zhi-tao
Issue Date:May 2009
pp. 379-383
This work describes a computationally more efficient and adaptive threshold estimation method for image denoising in the stationary wavelet domain. In this proposed method, the choice of the threshold estimation is carried out by analyzing the statistical ...
 
 1