Search For:

Displaying 1-27 out of 27 total
Reduction Criteria for Probabilistic Models with Spatial Restrictions on States
Found in: Networks Security, Wireless Communications and Trusted Computing, International Conference on
By Niu Jun, Guosun Zeng
Issue Date:April 2010
pp. 418-421
Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for veri...
 
A Bayesian Network-Based Knowledge Engineering Framework for IT Service Management
Found in: IEEE Transactions on Services Computing
By Wei Wang,Hao Wang,Bo Yang,Liang Liu,Peini Liu,Guosun Zeng
Issue Date:January 2013
pp. 76-88
Service management is becoming more and more important within the area of IT management. How to efficiently manage and organize service in complicated IT service environments with frequent changes is a challenging issue. IT service and the related informat...
 
Trusted Dynamic Scheduling for Large-Scale Parallel Distributed Systems
Found in: Parallel Processing Workshops, International Conference on
By Wei Wang,Guosun Zeng
Issue Date:September 2011
pp. 137-144
The terms parallel distributed systems, and grid and cloud computing, actually refer to slightly different things. But the underlying concept is the same. This is based on delivering computing resources through a large and often global network of computers...
 
An Executing Method for Time and Energy Optimization in Heterogeneous Computing
Found in: IEEE/ACM International Conference on Green Computing and Communications
By Guosun Zeng,Lihua Yu,Chunling Ding
Issue Date:August 2011
pp. 69-74
Both the heterogeneity of the computing environment and the complexity of various application tasks lead to heterogeneous computing. The purpose of heterogeneous computing is to obtain the best executing effect for a parallel task running on the parallel p...
 
The Binary Behavioral Modes Based on Action Sequence and Compliance Verification for Compositional Web Service
Found in: Information Processing, Asia-Pacific Conference on
By Bo Chen, Guosun Zeng, Hongzhen Xu
Issue Date:July 2009
pp. 415-419
To verify whether a compositional web service is compliant to the specific requirements of users is one of important research issue for web service. Most of existed work about web service verification do not address the issue of how to model the requiremen...
 
The Property Based on Action Sequence and Compliance Verification for Compositional Web Service
Found in: New Trends in Information and Service Science, International Conference on
By Bo Chen, Guosun Zeng, Hongzhen Xu
Issue Date:July 2009
pp. 225-230
Requirement-driven behavioral verification for web service compositions is one of important research issue for web service. Most of behavioral specifications to be checked in existed web service verification works have forms like LTL or MSC. They are tempo...
 
Branching Temporal Qualitative Coalitional Games with Preferences
Found in: Education Technology and Computer Science, International Workshop on
By Bailiang Cheng, Guosun Zeng, Anquan Jie
Issue Date:March 2009
pp. 1012-1016
Qualitative Coalitional Games (QCGs), as a variation of coalitional games, is to investigate agents’ strategies and behaviors in cooperating games. Each agent has a set of goals as its desires and will be satisfied if at least one of its desires is achieve...
 
A Trusted Transfer Protocol Based on Property-Based Seal
Found in: Computer Science and Software Engineering, International Conference on
By Li Li, GuoSun Zeng, Bo Chen
Issue Date:December 2008
pp. 1089-1092
Improperly managed private keys and improperly configured endpoints could result in loss of security in traditional way of message exchange. Whereas some mechanisms obtained from the new PC architecture of trusted platforms, such as seal, have exact featur...
 
Content Trust Based Trustworthy News Search Engine
Found in: Future Information Technology and Management Engineering, International Seminar on
By Xiaojun Wang, Guosun Zeng, Wei Wang
Issue Date:November 2008
pp. 144-147
Search engine is an essential tool for information retrieval in internet. However, key-match based full-text search engine always returns masses of results, most of which called “spam pages” trouble the user to precisely and speedily find the needed inform...
 
Trusted Transmission Protocol for Content Security
Found in: Young Computer Scientists, International Conference for
By Li Li, Guosun Zeng, Bo Chen
Issue Date:November 2008
pp. 1951-1956
Classic message exchange based on asymmetric cryptography can protect message content from tampering and authenticate terminal by signing with the private key. Keys are communication endpoint s’ improperly managed keys can result in loss of security during...
 
An Intelligent Ontology and Bayesian Network Based Semantic Mashup??for Tourism
Found in: Services, IEEE Congress on
By Wei Wang, Guosun Zeng, Dongqi Zhang, Yu Huang, Yufeng Qiu, Xiaojun Wang
Issue Date:July 2008
pp. 128-135
A common perception is that there are two competing vision for the future evolution of the Web: the Semantic Web and Web 2.0. In fact, Semantic Web technologies must integrate with Web 2.0 services for both to leverage each other’s strengths. This paper il...
 
A Process Algebraic Approach to Modeling Collective Behaviors in Social Networks
Found in: Semantics, Knowledge and Grid, International Conference on
By Zongjian He, Lulai Yuan, Guosun Zeng
Issue Date:October 2007
pp. 62-67
The properties of social networks, such as concurrency, mobility and distribution, play a negative affect on the modeling and simulation of collective behaviors. This paper presents a process algebraic approach to formal specification and verification of c...
 
A Resource Trade Model Based on Trust Evaluation for Grid Computing
Found in: Network and Parallel Computing Workshops, IFIP International Conference on
By Lulai Yuan, Zongjian He, Guosun Zeng
Issue Date:September 2007
pp. 506-510
We face increasing uncertainty, cheat and risk when executing Grid resource trades, which is taken as a prominent feature of the market-oriented Grid. As participants of Grid, we cope with these complexities and uncertainties by relying trust for lacking o...
 
Validity Checking On Grid Service Composition
Found in: Computer Software and Applications Conference, Annual International
By Jing Zhou, Guosun Zeng
Issue Date:July 2007
pp. 379-382
Grid service is composed of elementary services and the execution procedure is characterized by dynamical evolvement and exceptional no-determinism. The existing service description language, BPEL4WS (abbreviated to BPEL), only provides static service desc...
 
An Autonomous Trust Construction System Based on Bayesian Method
Found in: Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
By Wei Wang, Guosun Zeng, Tao Liu
Issue Date:December 2006
pp. 357-362
Though research on multi-agent systems have progressed at a steady pace, its promise has yet to be realized. One major difficulty is that, by its very nature, the multi-agent system is a large, uncensored system. This raises the question of how much depend...
 
A Generic Trust Overlay Simulator for P2P Networks
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Wei Wang, Guosun Zeng
Issue Date:December 2006
pp. 401-402
Traditional overlay network simulators provide accurate low-level models of the network hardware and protocols but are but none of them deal with the problem of trust in the large scale overlay networks. We tackle this problem by employing a trust overlay ...
 
A Grid Resource Price-adjusting Strategy Based on Price Influence Model
Found in: Grid and Cloud Computing, International Conference on
By Lulai Yuan, Guosun Zeng, Wei Wang
Issue Date:October 2006
pp. 311-318
In the market-oriented Grid system, the price management of Grid resources is a challenging undertaking as most resources are interdependent. So we discuss the dependent relations among Grid resources, and build a
 
Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus
Found in: Grid and Cloud Computing, International Conference on
By Jing Zhou, Guosun Zeng
Issue Date:October 2006
pp. 490-493
Composition of grid services combines two or more grid services to achieve the desired computing goals, which is becoming important in application from electronic commerce to application interoperation. Numerous frameworks have been proposed for the grid s...
 
Ant-based Reputation Evidence Distribution in P2P Networks
Found in: Grid and Cloud Computing, International Conference on
By Wei Wang, Guosun Zeng, Lulai Yuan
Issue Date:October 2006
pp. 129-132
How to manage trust is regarded as a main problem of security issues in P2P overlay networks. Reputationbased trust management is regarded as a promising way to solve the problem. However, in P2P systems, obtaining reputation evidence for building trust re...
 
Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus
Found in: Computer and Information Technology, International Conference on
By Jing Zhou, Guosun Zeng
Issue Date:September 2006
pp. 48
Composition of grid services combines two or more grid services to achieve the desired computing goals, which is becoming important in application from electronic commerce to application interoperation. Numerous frameworks have been proposed for the grid s...
 
A Web Page Segmentation Algorithm for Extracting Product Information
Found in: International Conference on Information Acquisition
By Changjun Wu, Guosun Zeng, Guorong Xu
Issue Date:August 2006
pp. 1374-1379
Nowadays, as the rapid development of Internet, web is becoming the most popular and also the largest resource for people to acquire information. At the same time, search engine plays an important role while retrieving information. Nevertheless, the smalle...
 
A general data dependence analysis to nested loop using integer interval theory
Found in: Parallel and Distributed Processing Symposium, International
By Jing Zhou, Guosun Zeng
Issue Date:April 2006
pp. 468
Many dependence tests have been proposed for loop parallelization in the case of arrays with linear subscripts, but little work has been done on the arrays with non-linear subscripts, which sometimes occur in parallel benchmarks and scientific and engineer...
 
A Resource Price-adjusting Mechanism for Supply and Demand Balance in Grid Computing
Found in: Parallel and Distributed Computing Applications and Technologies, International Conference on
By Lulai Yuan, Guosun Zeng, Xiongwei Mao
Issue Date:December 2005
pp. 97-99
By leveraging economic principles, we present the conception about the supply and demand balance of Grid resources, and propose a price-adjusting mechanism. The mechanism focuses on adjusting the unreasonable prices of both isolated resources and dependent...
 
Structure-Based Automatic Extraction of the Program Heterogeneity
Found in: High-Performance Computing in the Asia-Pacific Region, International Conference on
By Guosun Zeng, Xinda Lu, Jingcun Wang, Dingkang Zhou
Issue Date:May 2000
pp. 261
Heterogeneous computing is a new branch of parallel processing and expected to reach super speedup. It is an important step for heterogeneous computing to extract the heterogeneity hiding in a program. Such work is rather difficult and some concept and ter...
 
Parameter-Free Genetic Algorithm in Distributed Manner
Found in: High-Performance Computing in the Asia-Pacific Region, International Conference on
By Jingcun Wang, Xinda Lu, Guosun Zeng
Issue Date:May 2000
pp. 668
Genetic Algorithm has many parameters to set and adjust. This paper proposes a distributed parameter-free crossover-only Genetic Algorithm. With adaptive crossover probability and operator, the algorithm can be independent of the initial choice of crossove...
 
Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling
Found in: Proceedings of Programming Models and Applications on Multicores and Manycores (PMAM'14)
By Guo Dong, Guosun Zeng, Huanliang Xiong, Wei Liu, Wei Wang, Zhigang Deng
Issue Date:February 2014
pp. 140-148
As the ongoing scaling of semiconductor technology causing severe increase of on-chip power density in microprocessors, this leads for urgent requirement for power management during each level of computer system design. In this paper, we describe an approa...
     
Parallel time-space processing model based fast N-body simulation on GPUs
Found in: Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM '13)
By Guo Dong, Guosun Zeng, Hanli Wang, Haoyang Wei, Wei Wang
Issue Date:February 2013
pp. 63-69
The N-body problems simulate the evolution of a system of N bodies where the force exerted on each body arises due to its interaction with all the other bodies in the system. In this paper, we present a novel parallel implementation of N-body gravitational...
     
 1