8. ACIS-ICIS 2009: Shanghai, China

Agent Based Systems

• Ching-seh Wu, Wei-chun Chang, Ishwar K. Sethi:
  A Metric-Based Multi-Agent System for Software Project Management. 3-8
  
• Qing Xue, Yang Wei, Zhiwu Tang, Guohui Zhang:
  A Research of Cognitive Models for CGF in Tank Member. 9-14
  
• Wei Weng, Shigeru Fujimura:
  Distributed Feedback Mechanism for Just-In-Time Scheduling Problem. 15-20
  
• Jie Zhou, Yixiang Chen:
  Modeling Instability in a New Framework of Interval Valued Process Algebra. 21-26
  

Algorithms

• Shu Wang, Changjia Chen:
  A Heuristic Address Assignment Algorithm Based on Probability in a Network. 29-33
  
• Habib Seifzadeh, Ali Asghar Pourhaji Kazem, Mehdi Kargahi, Ali Movaghar-Rahimabadi:
  A Method for Dynamic Software Updating in Real-Time Systems. 34-38
  
• Hongtu Ma, Rongcai Zhao, Ling Liang, Xun Li:
  A Multi-variable Algorithm for Placing Phi-nodes. 39-43
  
• Xiaoping Chen, Rongle Kang:
  Searching Algorithm with Granularity Changing and the GNSS Integer Ambiguity Estimation. 44-47
  
• Wei Chen, Zhenkun Zhai, Xiong Li, Jing Guo:
  Analysis and Design of an Improved R-learning. 48-52
  
• Yang Wang:
  Effects of Suffix Repetition Rates of a String on the Performance of String Matching Algorithms. 53-58
  
• Atieh Mirshahvalad, Majid Noorhosseini:
  Improving and Extending SMR Technique for Solving Monotonic Problems. 59-64
  
• Ali Asghar Pourhaji Kazem, Habib Seifzadeh, Mehdi Kargahi, Ali Movaghar-Rahimabadi, Shahriar Lotfi:
  Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms. 65-69
  
• Yujun Bao, Hong Jiang, Yu Qing Huang, Rongchun Hu:
  Multi-objective Optimization of Power Control and Resource Allocation for Cognitive Wireless Networks. 70-74
  

Artificial Intelligence

• Yuan Yao, Kailong Zhang, Xinshe Zhou:
  A Novel Parameter Learning Algorithm for a Self-constructing Fuzzy Neural Network Design. 77-81
  
• Wang Yi-tao, Li Jin-jun:
  A Route Planning Optimization Model Based on Improved Ant Colony Algorithm. 82-86
  
• Robson da Silva Lopes, Márcia Aparecida Fernandes:
  Adaptative Instructional Planning Using Workflow and Genetic Algorithms. 87-92
  
• Chen Jian-zhou, Zhang Jin, Fang Chen, Zhao Li-juan, Hans Liljenström:
  On Color Texture Generating Based on Simplified KIII Model. 93-96
  
• Jinghui Ma, Hong Jiang, Yongchun Hu, Yujun Bao:
  Optimal Design of Cognitive Radio Wireless Parameters based on Non-dominated Neighbor Distribution Genetic Algorithm. 97-101
  
• Yanghe Feng, Chaofan Dai:
  Research of Knowledge-based Automatic Model Selection Strategy. 102-106
  
• Xiaohui Ji, Feifei Ma, Jian Zhang:
  Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. 107-111
  

Bioinformatics and Geoinformatics

• Dacheng Xu, Bailiang Li, Anton Nijholt:
  A Novel Approach Based on PCNNs Template for Fingerprint Image Thinning. 115-119
  
• Wenfeng Shen, Weijia Lu, Daming Wei, Weimin Xu, Xin Zhu, Shizhong Yuan:
  A Parallel Algorithm for Computer Simulation of Electrocardiogram Based on MPI. 120-123
  
• Feng Yang, K. Z. Mao:
  Entropy-based Criteria Dealing with the Ties Problem in Gene Selection. 124-129
  
• MingJie Tang, YuanChun Zhou, Peng Cui, Haiting Zhang, Liang Hu, YuanSheng Hou, BaoPing Yan:
  Exploring the Spatial Distribution of Bird Habitat with Cluster Analysis. 130-135
  
• Fei Luo, Lin Chen:
  Parallelizing the Protein Threading Problem in a Hybrid Peer-to-Peer Based High Performance Computing Platform. 136-141
  
• Tang Buzhou, Wang Xuan, Wang Xiaolong:
  Protein Secondary Structure Prediction Using Large Margin Methods. 142-146
  

Communication Systems & Networks

• Baohua Fan, Heying Zhang, Wenhua Dou:
  A Max-plus Network Calculus. 149-154
  
• Sunil Bhooshan, Vinay Kumar, Gaurav Gayawar, Sah Geetansh Krishna, Kapil Sachdeva:
  A New Suggestion for Data Clustering. 155-160
  
• Bo Wang, Xiangmin Wen, Sun Yong, Zhen Wei:
  A Novel NAT Traversal Mechanism in the Heterogeneous Environment. 161-165
  
• Jingjing Song, Jiguo Yu, Zhaojun Xiang:
  An Efficient Search Algorithm for REIK Overlay Network. 166-170
  
• Hui Xu, Debao Xiao, Zheng Wu:
  Application of Security Ontology to Context-Aware Alert Analysis. 171-176
  
• Jia Zhu, Baoyu Zheng:
  Detection Probability Analysis of Cooperative Spectrum Sensing in Rayleigh Fading Channels. 177-182
  
• Hailong Ma, Yunfei Guo, Jianwei Zhang:
  Fast Reroute upon Multi-homed Domains Link Failures. 183-187
  
• Rui Zhang:
  HPRP: Hierarchical Probabilistic Routing Protocol for Wireless Mesh Network. 188-193
  
• Liu Yong-Min, Jiang Xin-Hua, Nian Xiao-Hong, Lu Wu-Yi:
  Improved DCCP Congestion Control for Wireless Sensor Networks. 194-198
  
• Xu Zhang, Chuang Lin, Xiangzhen Kong:
  Model-Driven Dependability Analysis of Virtualization Systems. 199-204
  
• Xiaowei Qin, Leixin Mai, Xuchu Dai:
  Modeling of Hybrid-service in Broadband Wireless Communication System. 205-209
  
• Wencai Du, Feng Du:
  New Smith Predictor and FRBF Neural Network Control for Networked Control Systems. 210-215
  
• Min Zhang, Shengming Jiang, Gang Wei, Hongjiang Wang:
  Performance Analysis of Cognitive Radio Networks against Secondary User's Policies. 216-221
  
• Liying Xie, Gang Wei, Hongjiang Wang, Zaijin Xie:
  Performance Analysis of IEEE 802.11 DCF in Multi-hop Ad Hoc Networks. 222-227
  
• Jiaqing Huang, Liang Wang, Wenqing Cheng, Hui Li:
  Polynomial Time Construction Algorithm of BCNC for Network Coding in Cyclic Networks. 228-233
  
• Kai Wang, Chuang Lin, Fangqin Liu:
  Quality of Protection with Performance Analysis in IP Multimedia Subsystem. 234-239
  
• Chang-you Xing, Ming Chen:
  Research on Optimizing Embedding Space Dimension in Network Coordinate System. 240-245
  

Computer Architecture and VLSI

• Qi Xingyun, Feng Quanyou, Chen Yongran, Dou Qiang, Dou Wenhua:
  A Fault Tolerant Bufferless Optical Interconnection Network. 249-254
  
• Minghua Tang, Xiaola Lin:
  A New Adaptive Flow Control for Mesh-based Network-on-Chip (NoC). 255-260
  
• Wu Jigang, Ting Lei, Thambipillai Srikanthan:
  Efficient Approximate Algorithm for Hardware/Software Partitioning. 261-265
  
• Tao Li, Wu Jigang, Siew Kei Lam, Thambipillai Srikanthan, Xicheng Lu:
  Efficient Heuristic Algorithm for Rapid Custom-Instruction Selection. 266-270
  
• Linsheng Zhang, Yan Zhang, Wenbiao Zhou:
  Floating-point to Fixed-point Transformation Using Extreme Value Theory. 271-276
  
• Maman Abdurohman, Kuspriyanto K., Sarwono Sutikno, Arif Sasongko:
  Transaction Level Modeling for Early Verification on Embedded System Design. 277-282
  

Computer Security

• Fanping Zeng, Kaitao Yin, Minghui Chen, Xufa Wang:
  A New Anomaly Detection Method Based on Rough Set Reduction and HMM. 285-289
  
• Kanokwan Kanyamee, Chanboon Sathitwiriyawong:
  High-Availability Decentralized Multi-Agent Key Recovery System. 290-294
  
• Jing Sun, Huiqun Zhao, Huibing Xiao, Gongzhu Hu:
  Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS. 295-300
  
• Qian Quan, Zhang Rui, Che Hong-Yi:
  Object-oriented Case Representation and Its Application in IDS. 301-306
  
• Ji Young Chun, Yong Ho Kim, Jung Yeon Hwang, Dong Hoon Lee:
  Security Enhancing Compiler for Localization Schemes in Pervasive Sensor Networks. 307-312
  
• Watcharee Tantikittipisut, Nol Premasathian:
  Strongly Unforgeable Signature Scheme without One-Time Key. 313-316
  
• Yichun Zhang, Jinliang Wan:
  Transmission Performance Simulation of Broadcast Encryption Schemes with Pay-TV System Implementation Consideration. 317-322
  
• Tao Qin, Xiaohong Guan, Yi Long, Wei Li:
  Users' Behavior Character Analysis and Classification Approaches in Enterprise Networks. 323-328
  

Data Mining & Knowledge Discovery

• Yun Li, Xin Guo, Yunhao Yuan, Jia Wu, Ling Chen:
  An Efficient Algorithm to Mine Unordered Trees. 331-336
  
• Chengli Zhao, Xue Zhang, Dongyun Yi:
  A General Framework: Combining Statistical Models and Network Structure for Deep Content Mining. 337-341
  
• Chengyu Wu, Xiaoying Tai:
  Application of Gray Level Variation Statistic in Gastroscopic Image Retrieval. 342-346
  
• Malik Muhammad Saad Missen, Mohand Boughanem, Guillaume Cabanac:
  Challenges for Sentence Level Opinion Detection in Blogs. 347-351
  
• Jing Qiu, Lejian Liao:
  Extracting Relations from Chinese Web Documents Using Kernel Methods. 352-356
  
• Jianwen Xie, Jianhua Wu, Qingquan Qian:
  Feature Selection Algorithm Based on Association Rules Mining Method. 357-362
  
• Mohsen Jafari Asbagh, Hassan Abolhassani:
  Feature-Based Data Stream Clustering. 363-368
  
• Hao Wu, Yijian Pei, Jiang Yu:
  Hidden Topic Analysis Based Formal Framework for Finding Experts in Metadata Corpus. 369-374
  
• Vasudha Bhatnagar, Sharanjit Kaur, Neelima Gupta:
  Identifying Structures with Informative Dimensions in Streams. 375-382
  
• Phimphaka Taninpong, Sudsanguan Ngamsuriyaroj:
  Incremental Naïve Bayesian Spam Mail Filtering and Variant Incremental Training. 383-387
  
• Roman Y. Shtykh, Qun Jin:
  Integrating Search and Sharing: User-Centric Collaborative Information Seeking. 388-393
  
• Md. Rafiqul Islam, Wanlei Zhou, Morshed U. Chowdhury:
  MVGL Analyser for Multi-classifier Based Spam Filtering System. 394-399
  
• Li Wei-jiang, Zhao Tie-jun, Zang Wen-mao:
  PLSA-Based Query Expansion. 400-405
  
• Zheng-Hua Qi, Geng Yang, Xun-Yi Ren:
  Radius-Distance Based Semi-Supervised Algorithm. 406-410
  
• Zhu Yuelong, Qian Jihong, Fan Qingsong, Wan Dingsheng, Li Shijin:
  Study on Hydrology Time Series Prediction Based on Wavelet-neural Networks. 411-415
  
• Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, Sulan Zhai, Jin Tang:
  Temporal Pattern Recognition in Video Clips Detection. 416-421
  
• Jochen Hollmann, Per Stenström:
  Using Hoarding to Increase Availability in Shared File Systems. 422-429
  
• Yuxiang Mao, Daming Wei:
  Weight Balanced Linear Programming SVM on Skewed Distribution and its Evaluation. 430-435
  

Database, Data Warehousing, Data Engineering

• Basit Raza, Abdul Mateen, Tauqeer Hussain, Mian M. Awais:
  Autonomic Success in Database Management Systems. 439-444
  
• Abdul Mateen, Basit Raza, Tauqeer Hussain, Mian M. Awais:
  Autonomicity in Universal Database DB2. 445-450
  
• Jieping Wang, Xiaoyong Du:
  Cluster Based Partition for Multi-dimensional Range Query in DAS Model. 451-456
  
• Xiaoshuang Xu, Yucai Feng, Feng Wang:
  Efficient Processing of XML Twig Queries with All Predicates. 457-462
  
• Areerat Trongratsameethong, Jarernsri L. Mitrpanont:
  Exhaustive Greedy Algorithm for Optimizing Intermediate Result Sizes of Join Queries. 463-468
  
• Jie Shi, Hong Zhu, Ge Fu, Tao Jiang:
  On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs. 469-474
  
• Jinpeng Wang, Zhuang Miao, Yafei Zhang, Bo Zhou:
  Querying Heterogeneous Relational Database using SPARQL. 475-480
  

Distributed Computing

• Chenting Zhao, Zhenhua Duan, Man Zhang:
  A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics. 483-488
  
• Mehdi Nikkhah, Mohammad Hosein Yektaie, Amir Masoud Rahmani, Mohammad Nikkhah:
  A Novel Fault-tolerant Particle Swarm Optimization Scheduler for Scheduling Independent Task in Grid Computing Environment. 489-493
  
• Changsong Ding, Yi Fu, Zhigang Hu, Peng Xiao:
  A Novel Trust Model Based on Bayesian Network for Service-Oriented Grid. 494-499
  
• Cho-Chin Lin, Chih-Hsuan Hsu:
  Algorithms for Scheduling Distributed Tasks of Ordered Communication on a Realistic Model of Heterogeneous Grids. 500-505
  
• M. Shahbaz Memon, Morris Riedel, A. Shiraz Memon, Achim Streit, Felix Wolf:
  Enabling Grid Interoperability by Extending HPC-driven Job Management with an Open Standard Information Model. 506-511
  
• Ning Li, Jinqiang Hu:
  Scientific Workflow Model for Provenance Analysis Based on Many-sorted High-Level Nets. 512-515
  
• Haroon-Ur-Rashid Khan, Shi Feng, Ji Weixing:
  Triplet Based Multi-core Interconnection Network and its Computational Efficiency. 516-521
  

Economic and Financial Systems

• Tetsuya Takaishi:
  Bayesian Inference on QGARCH Model Using the Adaptive Construction Scheme. 525-529
  
• Sang-Hong Lee, Dong-Kun Shin, Zhen-Xing Zhang, Joon S. Lim:
  Comparing the Feature Selection Using the Distributed Non-overlap Area Measurement Method with Principal Component Analysis. 530-534
  
• Fabio Mulazzani, Barbara Russo, Giancarlo Succi:
  ERP Systems Development: Enhancing Organization's Strategic Control through Monitoring Agents. 535-542
  
• Jan-Helge Deutscher, Carsten Felden:
  Model Concept to Determine the Optimal Maturity of IT Service Management Processes. 543-548
  
• Thomas Neubauer, Christian Hartl:
  On the Singularity of Valuating IT Security Investments. 549-556
  

Image Processing & Pattern Recognition

• Hui-Cheng Lian:
  A Max Modular Support Vector Machine and Its Variations for Pattern Classification. 559-564
  
• Lijie Zhang, Haili Yin:
  A Method for Removing the Impulse in Image Processing. 565-567
  
• Zhi Liu, Hongbo Yan, Liquan Shen, Yongfang Wang, Zhaoyang Zhang:
  A Motion Attention Model Based Rate Control Algorithm for H.264/AVC. 568-573
  
• Gang Chen, Xiaoyong Guo, Tai Hu:
  A Noise Insensitive Cluster Validity Measure for Pattern Classification. 574-578
  
• Fangchao Wang, Sen Bai, Guibin Zhu, Zhenghui Song:
  An Image Encryption Algorithm Based on N-Dimension Affine Transformation. 579-585
  
• Gopalakrishnan Sethumadhavan, Srinivasan Sankaran:
  Border Detection and Cancer Propagation on Spectral Bands of Malignant Melanoma Using Six Sigma Threshold. 586-592
  
• Aree Ali Mohammed, Jamal Ali Hussein:
  Efficient Video Watermarking Using Motion Estimation Approach. 593-598
  
• Shaoqiu Xu:
  Dynamic Background Modeling for Foreground Segmentation. 599-604
  
• Chi Ma, Hongyun Zhang, Duoqian Miao, XueDong Zhang:
  Fingerprint Skeleton Extraction Based on Improved Principal Curve. 605-610
  
• Zhongmin Han, Zhi Liu, Zhaoyang Zhang, Yu Lu, Weiwei Li, Hongbo Yan:
  Salient Object Extraction Based on Region Saliency Ratio. 611-615
  
• Preecha Tangkraingkij, Chidchanok Lursinsap, Siripun Sanguansintukul, Tayard Desudchit:
  Selecting Relevant EEG Signal Locations for Personal Identification Problem Using ICA and Neural Network. 616-621
  
• Ran Li, Weiguang Xu, Jianjiang Lu, Yafei Zhang, Zining Lu:
  Technique of Large-scale Image Set Construction Based on Web Image Searching Engine. 622-626
  
• Osama Hosam, Xingming Sun:
  Three-Dimensional Reconstruction Using Enhanced Shape from Stereo Technique. 627-632
  

Information Science and Systems

• Zhengjun Cao, Lihua Liu:
  A General Attack against Several Group Signatures. 635-640
  
• Wu Jigang, Baofang Chang, Thambipillai Srikanthan:
  A Hybrid Branch-and-Bound Strategy for Hardware/Software Partitioning. 641-644
  
• Lijuan Chen, Aiqing Wang, Mingzhu Li:
  A Note on the Upper Bound of Dimension of Bivariate Spline Space over Triangulation. 645-649
  
• Jinyuan Yang, Xinhan Huang, Min Wang:
  An Efficient Fusion Algorithm on Conflicting Evidence. 650-654
  
• Wei Shi, Zheng Zhao:
  Dynamic Routing Strategies Based on Local Topological Information of Scale-free Network. 655-659
  
• Jakarin Smitaveja, Kingkarn Sookhanaphibarn, Chidchanok Lursinsap:
  Facial Metrical and Caricature-Pattern-Based Learning in Neural Network System for Face Recognition. 660-665
  
• Zuoxian Nie, Xin-hua Jiang, Jian-cheng Liu, Hai-yan Yang:
  Performance Analysis of Generalized Well-formed Workflow. 666-671
  
• Quan Shan, Yan Chen:
  Research on Numerical Module Identification Approaches. 672-676
  
• Bin Wang, Zhimin Li, Silian Sui, Yuhua Qin:
  The Game Analysis of Price Competition on Different Rationality. 677-679
  

Intelligent Control Systems

• Lijie Yang, Xiaoshan Li:
  Animating the Brush-writing Process of Chinese Calligraphy Characters. 683-688
  
• Xin Li, Zhiping Jia, Xinjie Lu, Haiyang Wang:
  Rule-Based Publish-Subscribe Mechanism for Real-time Applications. 689-694
  
• Toshiyuki Maeda:
  Spatial Navigation with Consistency Maintenance System. 695-700
  
• Minghui Wang, Yongquan Yu, Bi Zeng:
  Study of Intelligent Control System for Ship Autopilot Design. 701-705
  
• Ming Xu, Liangyu Chen, Zhi-bin Li:
  Symbolic Reachability Computation of a Class of Nonlinear Systems. 706-710
  

Internet Technology and Applications, e-Commerce

• Pan Liu, Huaikou Miao, Qing Li:
  A Common Acquaintance Immunization Strategy for Complex Network. 713-717
  
• Kexiao Liao, Peter Kisuule, John Ehrlinger, Jie Dai:
  Autogeneration of Database Applications from XML Metadata for Web-Based Data Entry. 718-723
  
• Sérgio Raymundo Loest, Marcelo Cheminn Madruga, Carlos Alberto Maziero, Lau Cheuk Lung:
  BackupIT: An Intrusion-Tolerant Cooperative Backup System. 724-729
  
• Hsiu-Ju Chen:
  Bloggers' Social Presence Framing and Blog Visitors' Responses. 730-735
  
• Shizhan Chen, Zhiyong Feng, Hui Wang, Tao Wang:
  Building the Semantic Relations-Based Web Services Registry through Services Mining. 736-743
  
• Ling Shang, Zhijian Wang, Xiaohong Zhang, Junjie Wang, Zhizhong Liu:
  Research on Fault-tolerant Mechanism of Integrating Water-Domain Oriented Computing Resources. 744-749
  
• Lassi Lehikoinen, Tomi Räty:
  Monitoring End-to-End Quality of Service in a Video Streaming System. 750-754
  
• Kurban Ubul, Askar Hamdulla, Winira Musajan, Abdiryim Raxidin, Patigul Mamat:
  The Design and Realization of Unicode Based Minorities Character Online Processing System. 755-760
  

Mobile/Wireless Computing

• Kefei Lu, Xiaodong Cai, Xudong Wang:
  A MAC Protocol for Cooperative Wireless Networks. 763-768
  
• Xin Sun, Kan Li, Yushu Liu:
  An Efficient Replica Location Method in Hierarchical P2P Networks. 769-774
  
• Zheng Guan, Dongfeng Zhao:
  An Energy Efficient MAC Protocol for WSNs. 775-779
  
• Jun Yang, Deyun Zhang, Yunyi Zhang:
  An Energy-Efficient Data Gathering Protocol for Wireless Sensor Networks. 780-785
  
• Moon Jeong Kim, Young Ik Eom:
  Cross-Layer Service Discovery Using Multi-Path for Wireless Environments. 786-790
  
• Xu Huang:
  Degradation of MIMO UWB-IR Transceiver in Poisson Models. 791-796
  
• Liang He, Jingdong Xu, Yuntao Yu, Miao Li, Wenyao Zhao:
  Genetic Algorithm Based Length Reduction of a Mobile BS Path in WSNs. 797-802
  
• Muhammad Asim Mubarik, Shoab Ahmad Khan, Syed Ayad Hassan, Naveed Sarfraz:
  Implementation of Geocast Enhanced AODV-UU in Linux Testbed. 803-807
  
• Changhyeon Chae, Hyunae Min, Junho Kim, Taejin Jung:
  New Delay Optimum Quasi-Othogonal Space-Time Block Codes with Full Spatial Diversity. 808-811
  
• Xu Huang, Shirantha Wijesekera, Dharmendra Sharma:
  Novel Protocol and Its Implementation QKD in Wi-Fi Networks. 812-817
  
• Marjan Naderan Tahan, Amir Darehshoorzadeh, Mehdi Dehghan:
  ODMRP-LR: ODMRP with Link Failure Detection and Local Recovery Mechanism. 818-823
  
• Fenghua You, Wei Zhang, Jun Xiao:
  Packet Loss Pattern and Parametric Video Quality Model for IPTV. 824-828
  
• Xiaohui Chen, Weidong Wang, Guo Wei:
  Reducing Web Latency in Mobile Network. 829-833
  
• Fangqin Liu, Chuang Lin, Hao Wen, Peter Ungsunan:
  Throughput Analysis of Wireless Multi-hop Chain Networks. 834-839
  
• Ruonan Rao, Jiankun Wu, Dejun Wang, Linpeng Huang:
  Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM. 840-845
  
• Antero Metso, Petri Pulli, Seamus Hickey, Xiaosong Zheng:
  Ubiquitous Services for Senior Citizens - Living Process Detection and Middleware. 846-851
  
• Nastooh Taheri Javan, Reza Kiaeifar, Bahram Hakhamaneshi, Mehdi Dehghan:
  ZD-AOMDV: A New Routing Algorithm for Mobile Ad-Hoc Networks. 852-857
  

Parallel and Distributed Computing & Systems

• Houguang Yue:
  An Eliminating Causal Ambiguity Approach to Reactive Systems. 861-866
  
• Mi-Young Park, Sang-Hwa Chung:
  Detecting Race Conditions in One-Sided Communication of MPI Programs. 867-872
  
• Youlin Ruan, Gan Liu, Jianjun Han:
  Fair Slack-Reclamation for Scheduling Periodic Tasks. 873-875
  
• Akiyoshi Wakatani:
  Implementation of Recurrence Calculation on a Heterogeneous Multicore Processor. 876-881
  
• Xiaofei Liao, Yifan Yue, Hai Jin, Haikun Liu:
  LAOVM: Lightweight Application-Oriented Virtual Machine for Thread Migration. 882-887
  

Software Engineering and Information Engineering

• Cheng Zeng, Keqing He, Bing Li:
  A Framework to Support Interoperability among Web Service Registries. 891-896
  
• Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng:
  A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. 897-902
  
• Xiaopeng Deng, Chunxiao Xing:
  A QoS-oriented Optimization Model for Web Service Group. 903-909
  
• Peizhou He, Xiangming Wen, Wei Zheng:
  A Simple Method for Filtering Image Spam. 910-913
  
• K. Velmurugan, M. A. Maluk Mohamed:
  An Empirical Performance Metrics Measurement and Analysis of Software Platforms for Implementation of Web Services. 914-920
  
• Hazleen Aris, Faridah Hani Mohamed Salleh, Zailani Ibrahim, Siti Salwah Salim:
  Current Practice, Problems and Factors in COSD Application - A Component Users Perspective. 921-926
  
• Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu:
  Automatic Construction of Complete Abstraction by Abstract Interpretation. 927-932
  
• Hironori Washizaki, Kazuhiro Fukaya, Atsuto Kubo, Yoshiaki Fukazawa:
  Detecting Design Patterns Using Source Code of Before Applying Design Patterns. 933-938
  
• Carla Pacheco, Ivan Garcia:
  Effectiveness of Stakeholder Identification Methods in Requirements Elicitation: Experimental Results Derived from a Methodical Review. 939-942
  
• Namfon Assawamekin, Thanwadee Sunetnanta, Charnyote Pluempitiwiriyawej:
  MUPRET: An Ontology-Driven Traceability Tool for Multiperspective Requirements Artifacts. 943-948
  
• Dapeng Liu, Shaochun Xu:
  MuTT: A Multi-Threaded Tracer for Java Programs. 949-954
  
• Chunyan Hou, Gang Cui, Hongwei Liu, Xiaozong Yang:
  Reliability Analysis of Component Software Based on Testing Data Transformation. 955-960
  
• Fanping Zeng, Ling Li, Juan Li, Xufa Wang:
  Research on Test Suite Reduction Using Attribute Relevance Analysis. 961-966
  
• Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim:
  Risky Module Estimation in Safety-Critical Software. 967-970
  
• JiDong Ge, Hao Hu, Jian Lu:
  Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis. 971-976
  
• Shikun Chen, Zhoujun Li:
  Simplifying Buffer Overflow Detection Using Site-Safe Expressions. 977-982
  
• Fengyu Zhao, Xin Peng, Wenyun Zhao:
  Software Development Process Monitoring Based on Nominal Transformation. 983-988
  
• Dalju Lee, Jongmoon Baik, Ju-Hwan Shin:
  Software Reliability Assurance Using a Framework in Weapon System Development: A Case Study. 989-995
  
• Tao Wu, Yanling Wan, Yishan Xi, Chuanbo Chen:
  Study on the Automatic Test Framework Based on Three-tier Data Driven Mechanism. 996-1001
  

Software Reuse, Design Patterns

• Raphael Pereira de Oliveira, Antônio Francisco do Prado, Wanderley Lopes de Souza, Mauro Biajiz:
  Development Based on MDA, of Ubiquitous Applications Domain Product Lines. 1005-1010
  

Software Testing and Tools

• Lixiao Zheng, Haiming Chen:
  A Systematic Framework for Grammar Testing. 1013-1019
  
• Yin Ling, Liu Jing, Xiaoshan Li:
  Validating Requirements Model of a B2B System. 1020-1025
  

Techniques for Specification, Verification and Validation

• Zuohua Ding, Mingyue Jiang, Jing Liu:
  Model Checking Service Component Composition by SPIN. 1029-1034
  
• Dong Xu, Huaikou Miao, Nduwimfura Philbert:
  Model Checking UML Activity Diagrams in FDR. 1035-1040
  
• Ping Gong, Keqing He:
  On the Capability Compliance of Annotated Process Model. 1041-1046
  

UML, OO Modeling & Simulation

• Yingpan Wu, Lixin Yu, Wei Zhuang, Jianyong Wang:
  A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit. 1049-1054
  
• Wang Lei, Lu Xianliang:
  A Study of Matrix Data on Reading and Writing Method in Simulation. 1055-1060
  

Visual and Multimedia Computing

• Xianyong Fang, Bin Luo, Haifeng Zhao, Yiwen Zhang:
  A 5-Parameter Bundle Adjustment Method for Image Mosaic. 1063-1067
  
• Jiacheng Li, Gengliang Wang, Yue Chen:
  A Framework for Real-time Local Free-Form Deformation. 1068-1073
  
• Jing Wang, Zhi Lin:
  A General 3D Campus Navigator System. 1074-1078
  
• Teruhisa Hochin, Hiroki Nomiya:
  A Logical and Graphical Operation of a Graph-Based Data Model. 1079-1084
  
• Kan Chang, Bo Yang, Juan Luo:
  A Novel Rate Control Scheme for H.264/AVC Based on Scene Change. 1085-1089
  
• Ravin Sachdeva, Sumit Johar, Emiliano Mario Piccinelli:
  Adding SVC Spatial Scalability to Existing H.264/AVC Video. 1090-1095
  
• Hua Zhang, Xiangming Wen, Peizhou He, Wei Zheng:
  Dealing with Telephone Fraud Using CAPTCHA. 1096-1099
  
• Wei Zeng, Hongming Zhang:
  Depth Adaptive Video Stitching. 1100-1105
  
• Jintao Ma, Ya Zhou, Qun Hao, Yang Zhang:
  Efficient Estimation of Multiple Illuminant Directions Using C-means Clustering and Self-correction for Augmented Reality. 1106-1110
  
• Ranran Zhang, Youdong Ding, Shuhan Wei:
  Image Inpainting Algorithm Based on Successive Elimination. 1111-1114
  
• Wei Zeng, Guibin Zhu, Yao Li:
  Point Matching Estimation for Moving Object Tracking Based on Kalman Filter. 1115-1119
  
• Pushpa Kumar, Nary Subramanian, Kang Zhang:
  SaViT: Technique for Visualization of Digital Home Safety. 1120-1125
  
• Gentao Liu, Xiangming Wen, Wei Zheng, Peizhou He:
  Shot Boundary Detection and Keyframe Extraction Based on Scale Invariant Feature Transform. 1126-1130
  
• Mingliang Hou, CunHua Li, Yong Zhang:
  Texture Retrieval by Scale and Rotation Invariant Directional Empirical Mode Decomposition. 1131-1135
  

Web Engineering & Applications

• Jianguo Pan, Bofeng Zhang, Gengfeng Wu:
  A SAM-Based Evolution Model of Ontological User Model. 1139-1143
  
• Junhuai Li, Yile Wang, Jing Zhang, Zhuobin Zhang:
  A Web Service Adapter with Contract-Oriented Methodology. 1144-1149
  
• Tao He, Huaikou Miao, Liping Li:
  A Web Service Composition Method Based on Interface Matching. 1150-1154
  
• Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
  Analyzing Reliability of Time Constrained Service Composition. 1155-1160
  
• Lailei Huang, Zhengyou Xia:
  Measuring User Prestige and Interaction Preference on Social Network Site. 1161-1166
  
• Ei Chaw Htoon, Thi Thi Soe Nyunt:
  M-Filter: Semantic XML Data Filtering System for Multiple Queries. 1167-1171
  
• Mingjie Sun, Bixin Li, Pengcheng Zhang:
  Monitoring BPEL-Based Web Service Composition Using AOP. 1172-1177
  
• Fengyu Zhao, Xin Peng, Wenyun Zhao:
  Multi-Tier Security Feature Modeling for Service-Oriented Application Integration. 1178-1183
  
• Dongmei Liu, Zhiqing Shao, Caizhu Yu, Guisheng Fan:
  A Heuristic QoS-Aware Service Selection Approach to Web Service Composition. 1184-1189
  
• Xiaohui Chen, Weidong Wang, Guo Wei:
  Performance of Web Caching in High Density Mobile Networks. 1190-1193
  
• XiaoJie Yuan, HuiBin Zhang, ZongYun Yang, YanLong Wen:
  Understanding the Search Interfaces of the Deep Web Based on Domain Model. 1194-1199
  
• Bin Zhu, Huaikou Miao, Bo Song:
  User-interface Design of Web Application Using Object-Z. 1200-1204
  
• Zijing Tan:
  Validating XML Constraints Using Automata. 1205-1210