7. SERA 2009: Haikou, China

Agent Technology

• Yoshihito Saito, Tokuro Matsuo, Takayuki Fujimoto:
  A Lecture Allocation Method Based on Multi-Leveled Value Model. 3-9
  
• Kailong Zhang, Xingshe Zhou, Chongqing Zhao, Yuan Yao:
  Synthesis Constraints Optimized Genetic Algorithm for Autonomous Task Planning and Allocating in MAS. 10-15
  

Case Studies

• Quanyin Zhu, Lijuan Zhao, Suqun Cao, Jianchun Shen, Shuai Zhang:
  A BnB Mobile Game Online Based on J2ME and J2EE. 19-24
  
• Xuan Yingji, Mei Yadong, Xu Jiangsong:
  Research of Hydropower Stations Optimal Operation Based on the Discrete Differential Dynamic Programming - Progressive Optimization Algorithm Combination Method. 25-29
  

Component-Based Software Engineering

• Shengfa Gao, Xin Li, Ruihua Zhang:
  The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed Systems. 33-38
  

Data Mining, Knowledge Discovery, Artificial Intelligence

• Yixing Liao, Xuezeng Pan:
  A Novel Feature Selection Approach and Feature Weight Adjustment Technique in Text Classification. 41-44
  
• Lihua Wu, JianPing Feng, Yunfen Luo:
  A Personalized Intelligent Web Retrieval System Based on the Knowledge-Base Concept and Latent Semantic Indexing Model. 45-50
  
• Qiang Wu:
  An Efficient Data Mining System Using Multi-agent of e-Commerce. 51-55
  
• Yu Zhang, Lihua Wu, Feng Xia:
  MHC-inspired Antibody Clone Algorithm for Multimodal Function Optimization. 56-63
  
• Andreas Mauczka, Thomas Grechenig, Mario Bernhart:
  Predicting Code Change by Using Static Metrics. 64-71
  
• Yanming Nie, Zhanhuai Li, Shanglian Peng, Qun Chen:
  Probabilistic Modeling of Streaming RFID Data by Using Correlated Variable-duration HMMs. 72-77
  
• Yucong Duan:
  Propose Semantic Formalization for 3D Reconstruction of Architectural Objects. 78-85
  
• Zhang Yun, Li Weihua, Chen Yang:
  The Study of Multidimensional-Data Flow of Fishbone Applied for Data Mining. 86-91
  

Design Patterns, Frameworks, Software Architecture

• Nalin Saigal, Jay Ligatti:
  Inline Visualization of Concerns. 95-102
  
• Bo Ding, Huaimin Wang, Dian-xi Shi, Xiang Rao:
  Towards Unanticipated Adaptation: An Architecture-Based Approach. 103-109
  

Economic and Financial Systems

• Yingbo Zhang, Fasheng Wang, Yuejin Lin:
  Financial Options Pricing Using the MKPF Algorithm. 113-116
  

Formal Methods and Tools

• Munira G. Nabi, Aamer Nadeem:
  A Formal Model for English Auction Protocol. 119-126
  
• Zhongyu Chen, Huaikou Miao:
  An Abstract Approach to Describing Scenario-Based Specifications. 127-131
  

Information Engineering

• Michael Gall, Christian Sterba, Thomas Grechenig:
  Definition and Segmentation of Orchestra Companies. 135-139
  
• Feng Zhang, Xinjun Wang, Shaolong Ma:
  Temporal XML Indexing Based on Suffix Tree. 140-144
  

Information Management Systems, MIS

• Xilin Liu, Dong Li:
  Data Warehouse-Based Personalized Information Service Scheme in E-Government. 147-152
  
• Zhang Kun, Li Zhuang, Teng Guo Ku:
  The Systemic Research on the Enterprise Production Planning with Guarantee Period Based on Wagner-Whitin Algorithm. 153-155
  

Middleware Design Techniques

• Shiquan Piao, Hyunchul Jo, Sungho Jin, Wooyoung Jung:
  Design and Inmplementation of RTE Generator for Automotive Embedded Software. 159-165
  

Mobile/Wireless Computing

• Yu-hong Liu, Yao-kuan Wang:
  Linear Method for WLAN Positioning System. 169-172
  
• Li Zhuang, Chen Xiaoyan, Du Yan:
  Mobile Learning Applied Research Based on 3G Technology. 173-175
  

Modeling with UML

• Bong-Jin Choi, Yong-Sung Kim, Yan Ha:
  UML for XML-GL Query Using Class Diagram and OCL. 179-185
  

Object-Oriented Technology

• Keqiao Yang, Zeng Huang, Min Yang:
  Array Bounds Check Elimination for Java Based on Sparse Representation. 189-196
  

Reengineering, Reverse Engineering

• Emal Nasseri, Steve Counsell:
  An Empirical Study of Java System Evolution at the Method Level. 199-206
  

Requirements Engineering

• Xiaomei Liu, Shulin Liu, Xiaojuan Zheng:
  Adapting the NFR Framework to Aspectual Use-Case Driven Approach. 209-214
  

Safety and Security Critical Software

• Feng Zhao, Yali Jiang, Guofu Xiang, Hai Jin, Wenbin Jiang:
  VRFPS: A Novel Virtual Machine-Based Real-time File Protection System. 217-224
  

Software Process Models

• Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, Chin Kuan Ho:
  Modeling Variability in Software Product Line Using First Order Logic. 227-233
  

Software Testing Techniques

• Donghui Wang, Beth Barnwell, Michael B. Witt:
  A Cross Platform Test Management System for the SUDAAN Statistical Software Package. 237-244
  
• Chengying Mao:
  Towards a Hierarchical Testing and Evaluation Strategy for Web Services System. 245-252
  
• Min Shan, Xianrong Wang, Lijun Zhao, Lili Guo:
  Using TTCN-3 in Performance Test for Service Application. 253-258
  

Web Engineering, Web-Based Applications

• Jae Yoo Lee, Jung Woo Lee, Du Wan Cheun, Soo Dong Kim:
  A Quality Model for Evaluating Software-as-a-Service in Cloud Computing. 261-266
  
• Lijuan Zhao, Quanyin Zhu, Suqun Cao, Tiantian Ding, Ding Ding:
  Talent Database Architecture for Dynamic Refresh Web-Based Application. 267-273
  

Last update Tue May 21 17:59:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page