By Topic

Research on technology of efficient utilizing Web Services for mobile devices based on lazy strategy

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Wang Shuoping ; Comput. Sci. Sch., Zhejiang Univ. City Coll., Hangzhou, China ; Liu Jun ; Gao Honghao ; Wu Yan

In order to make mobile devices get Web Services continuity and stability, we propose a method called lazy strategy for efficient utilizing Web Services, which used as computing strategy when we encounter avalanche of expressions in runtime. Both the conception and technology as we known are just like an introduction or elimination approach that it solves the space explosion problem by type checking. Lazy strategy means non-strict prove strategy with sharing argument, which can avoid useless computations and deal with no strict functions. First of all, we analyze the basic problem of Web Services' utility, after that we give a method of lazy strategy to handle computing under on the Coq language to reduce the computing task, the mainly idea is based on types theory to construct complex type from some simple types' combination, which plays a critical role in theorem proving. Secondly, we design architecture and detail the function of every model. Thirdly, a case study of our approach is discussed. Finally, we analyze the results of the experiment.

Published in:

Information and Financial Engineering (ICIFE), 2010 2nd IEEE International Conference on

Date of Conference:

17-19 Sept. 2010