Journal of Chinese Computer Systems 2013 Issue 1 Modeling and Validation for Dynamic Services Composition of LBS Based on TCPN

Modeling and Validation for Dynamic Services Composition of LBS Based on TCPN
ZHAO Xiao-hua;LI Wei-min;XIN Ming-jun

..............page:96-99

Formal Analysis of Sequence Diagram in MARTE by Model Transformation Techniques
ZHU Mei-xia;WANG Han-pin;LIU Xi-kui;HAN Xiao-qiong

..............page:100-106

Cluster Supply Chain-based Enterprise Collaboration Alliances and Their Supporting Service Systems
XUE Xiao;WEI Zhe;ZENG Zhi-feng

..............page:107-114

QoS-aware Efficient Abstract Service Selection
OU Wei-jie;ZENG Cheng;ZENG Qing;PENG Zhi-yong;WANG Zhen-zhen;LIU Bo;MA Jing-yan

..............page:1-8

A Kind of Service Selection Method Based on Skyline
LIU Jian-xiao;HE Ke-qing;NING Da;ZHANG Xiu-wei

..............page:9-15

A Service-oriented Adaptive Web Application Framework
LUO Sen;XU Bin;SUN Ke-wu

..............page:16-22

Web Service Classification Based on Automatic Semantic Annotation and Ensemble Learning
LI Yuan-jie;CAO Jian;HU Liang

..............page:23-28

Development of Domain Problem Ontology Based on Model Clustering Algorithm
YU Dun-hui;HE Ke-qing;LI Bing

..............page:29-33

Research on Consistency Maintenance Technique Supporting Group Division in Real Time Collaborative Environment
GAO Li-ping;CHEN Qing-kui;YAO Yi-cheng

..............page:34-40

Business Process Integration Based-on Composition Algebra of Business Protocol in Web Environment
ZHANG Kang-kang;XU Ru-zhi;YANG Feng;ZHAO Zhi-kun;LI Qing-zhong

..............page:41-45

Research and Implementation of Function-oriented Web Service Classification System
WANG Hua-lan;SHI Yan-qi;WANG Hong-bing

..............page:46-53

Centrality Analysis of the Manager Collaboration Network in Open Source Community
HE Peng;LI Bing;PAN Wei-feng

..............page:54-57

A Context-diven Approach to Exploratory Service Composition
LIU Shu-xia;ZHANG Feng;CHEN Xin

..............page:115-119

Analytical Method of Maximum Orderly Frequent Item Sets with Time Attribute
WANG Ning;YANG Yang;YOU Hai-yong;ZHAO Yao-pei;MENG Kun

..............page:120-124

Service Selection Based on Discrete Variable Artificial Immune Systems
LI Bao-dong;LI Hui;ZHANG Jia-hui;CUI Li-zhen;LI Qing-zhong

..............page:58-62

Unsupervised Feature Selection Method for Imbalanced Data
JIANG Sheng-yi;WANG Lian-xi

..............page:63-67

Research on Scenario Mode Intelligent Adaptation for Mobile Devices with Cloud Computing
XU Ru-zhi;JI Bai-tao;WANG Shuai-qiang;Wei-Tek Tsai

..............page:125-130

Resource-aware Based QoS Provisioning Mechanism for SaaS Service
YANG En-feng;ZHANG Yong;LIU Shi-jun

..............page:68-72

zheng gao jian ze

..............page:130

CQS3:a Server Selection Scheme for Mobile Multimedia Delivery
LIU Ran;YIN Hao;ZHU Guang-xi

..............page:131-135

Dynamic Web Services Selection Algorithm with Globally Optimal QoS
KANG Guo-sheng;LIU Jian-xun;TANG Ming-dong;XU Yu

..............page:73-76

Research on Micro-reboot Technology with Supporting Self-healing
TAN Cheng-xin;WANG Lei;GUAN Yu-xin

..............page:77-82

An Energy Balanced Self-adaptive Ant Routing Algorithm
QU Da-peng;WANG Xing-wei;HUANG Min

..............page:136-139

An Approach for Automatic Web Services Composition Based on Fluent Calculus
CHEN Zhi-yong;LI Qing-zhong;WANG Wen-ming;CUI Li-zhen;CONG Guo-jin

..............page:83-89

Research on Topology Control System for Mesh Networks
ZHANG Jing;XU Li

..............page:140-144

Towards to Evaluating Performance of Web Server Based on Response Time
XU Xiang-hua;XU Ting-ting;YIN Yu-yu

..............page:90-95

Network Situation-aware Probabilistic Routing Algorithm in DTN
FU Kai;XIA Jing-bo;YIN Bo

..............page:145-149

SocialRank:a Forwarding Strategy with Social Characteristic in DTN Environment
SUI Jing-qi;WANG Xin-hua;WANG Zhen;REN Shan-shan

..............page:150-154

TopN Prominent Streak Algorithm
XIE Yue-shan;FAN Xiao-ping;LIAO Zhi-fang;WANG Zhi-yao

..............page:155-158

Security Research of BLAKE Algorithm Based on Grover Quantum Search Algorithm and Quantum Counting
YANG Jie;YUAN Jia-bin;SUN Jing

..............page:159-162

Simulation and Analysis for Formal Verification of Spiking Neural P Systems
PENG Xian-wu;FAN Xiao-ping;LIU Jian-xun

..............page:163-167

Study on S-shape Curve Acceleration and Deceleration Control Fast Planning on CNC System
TIAN Jun-feng;LIN Hu;YAO Zhuang;LI Jie

..............page:168-172

Optimization Algorithm for L1-norm Principal Component Analysis and Applications
LIU Li-min;FAN Xiao-ping;LIAO Zhi-fang

..............page:173-176

Rapid Modeling and Realization of the Movement of 3D Fish Derived by the Skeleton
NIE Jun-lan;DIAO Fu-yang;TANG Yong;WU Ling-zhi

..............page:177-180

Fast Peer Group Filter Based on Fuzzy Metrics in Color Images
ZHONG Ling;ZHANG Yun

..............page:181-184

JPEG-coded Image Quality Assessment Based on GAP-RBF Neural Network
LONG Yan;HE Dong-jian;SONG Huai-bo

..............page:185-188

Simulation of Realistic 3D Fish by Texture Synthesis on Bezier Surfaces
TANG Yong;LI Zhi-hui;WANG Gang

..............page:189-192