X hits on this document

151 views

0 shares

0 downloads

0 comments

2 / 40

A Model Transformation Approach for Verifying Multi-Agent Systems using SPIN..................................35 Lily Chang, Florida International University, United States Xudong He, Florida International University, United States

Tagging Web Product Titles Based on Hidden Markov Model ......................................................................41 Peng Wang, Southeast University, China Baowen Xu, Nanjing University, China Yue You, Southeast University, China Lu Chen, Southeast University, China

A Pattern-based Verification Approach for a Multi-Core System Development ..........................................47 Peng-Hua Chu, Feng Chia University, Feng Chia University Nien-Lin Hsueh, Feng Chia University, Taiwan Chien-Ching Lee, Feng Chia University, Taiwan Min-Ju Chuang, Feng Chia University, Taiwan Pao-Ann Hsiung, National Chung Cheng University, Taiwan William Chu, Tunghai University, Taiwan Chih-Hung Chang, Hsiuping Institute of Technology, Taiwan Chorng-Shiuh Koong, National Taichung University, Taiwan Chih-Hsiong Shih, Tunghai University, Taiwan Chao-Tung Yang, Tunghai University, Taiwan

An Approach of Creative Application Evolution on Cloud Computing Platform ........................................52 Jiantao Zhou, Inner Mongolia University, China Shang Zheng, De Montfort University, United Kingdom Delin Jing, De Montfort University, United Kingdom Hongji Yang, De Montfort University, United Kingdom

Change Impact Analysis for Object-Oriented Programs Evolved to Aspect-Oriented Programs ..............57 Chien-Hung Liu, National Taipei University of Technology, Taiwan Shu-Ling Chen, Southern Taiwan University, Taiwan Wei-Lun Jhu, National Taipei University of Technology, Taiwan

An Automatic Selective Color Transfer Algorithm for Images.......................................................................64 Yao-Hsien Huang, Shih Chien University, Taiwan Peng-Cheng Wang, Hsiuping Institute of Technology, Taiwan Chia-Chi Chou, Shih Chien University, Taiwan Kui-Ping Lin, Shih Chien University, Taiwan

Poster Papers Derivement of An Integrated Measure for the Overall Quality of Search Engine Results ..........................70

James Sawle, De Montfort University, United Kingdom Hongji Yang, De Montfort University, United Kingdom

Performance Analysis on IEEE 802.11 Ad Hoc Based Broadcast...................................................................72 Yi-Hung Huang, National Taichung University of Education, Taiwan Chao-Yu Kuo, National Chung Hsing University, Taiwan

Harmonic Functions Based Semi-Supervised Learning For Web Spam Detection ......................................74 Weifeng Zhang, Nanjing University of Posts and Telecommunications, China

Document info
Document views151
Page views151
Page last viewedSun Dec 11 10:29:26 UTC 2016
Pages40
Paragraphs512
Words11014

Comments