CSSE 2008: Wuhan, China

• Zunera Jalil, Arshad Ali Shahid:
  Is Non Technical Person a Better Software Project Manager? 1-5
  
• Weiping Li, Weijie Chu, Nan Zhou, Frank Tung, Liu Ying:
  A Case Study on Call for Implementation. 6-10
  
• Junguang Zhang:
  The Establishment and Application of Effort Regression Equation. 11-14
  
• Junguang Zhang:
  Study on Software Project Significant Deviation Standard. 15-18
  
• Chengliang Wang, Yaxin Zhou, Juanjuan Chen:
  Extracting Prime Business Rules from Large Legacy System. 19-23
  
• Wang Shun-Yan, Zhong Luo, Jiang De-Sheng, Qiu Chang-Cheng:
  Facet Description and Searching of Component Resource. 24-32
  
• Yogesh Singh, Anjana Gosain, Manoj Kumar:
  Evaluation of Agent Oriented Requirements Engineering Frameworks. 33-38
  
• Jun Wu, Xi Cai:
  A Software Size Measurement Model for Large-Scale Business Applications. 39-42
  
• S. Britto R. Kumar, A. Arun Gnana Raj, S. Albert Rabara:
  A Framework for Mobile Payment Consortia System (MPCS). 43-47
  
• Deng Shi-jian, Pan Lei, Wu Yu-kang:
  Technology and Realization of Developing Monitoring Software Based on Multi-Application's Cooperation. 48-51
  
• Kewen Li, Zhixia Yang:
  An Improved AETG Test Suite Optimization Method Based on Regressing Test Model. 52-55
  
• Jun Yu, Zhi-yi Hu:
  Using Formal Methods to Design a Class Scheduling System. 56-59
  
• Chunhua Yang, Haiyang Wang:
  A Process Algebra Based Aspect Weaving Model. 60-63
  
• Hao Liu, Yuan Hong, Hongwei Hao, Chengyao Wang:
  Kernel: A RDB-Based Object Persistence Component Set for Java. 64-67
  
• Mingzhi Mao, Yunfei Jiang:
  A Coherent Object-Oriented (OO) Software Metric Framework Model: Software Engineering. 68-72
  
• Chunhua Yang:
  Towards a Framework for Reasoning about Aspect Weaving Impact. 73-76
  
• Chengwan He, Zheng Li, Keqing He:
  Using Conceptual Model and Reflection Mechanism to Resolve the Structural Conflict in AOP Application. 77-80
  
• Yang Su, Xuan-Wu Zhou, Min-Qing Zhang:
  Research on Modeling Traversing Features in Concurrent Software System. 81-84
  
• Liu Yong, Guo Gencheng, Qi Jingjing:
  An Algorithm of System Decomposition Based on Laplace Spectral Graph Partitioning Technology. 85-89
  
• Ge Jun-wei, Tang Rong, Fang Yi-qiu:
  A MDA Based Aspect-Oriented Model Dynamic Weaving Framework. 90-93
  
• Jingjun Zhang, Xueyong Cai, Guangyuan Liu:
  Mapping Features to Architectural Components in Aspect-Oriented Software Product Lines. 94-97
  
• Avadhesh Kumar, Rajesh Kumar Bhatia, P. S. Grover:
  Towards a Unified Framework for Complexity Measurement in Aspect-Oriented Systems. 98-103
  
• Zhang Lin-lin, Shi Ying, Ni You-cong, Wen Jing, Kai Zhao, Ye Peng:
  Towards Multi-Dimensional Separating of NFRs in Software Architecture. 104-107
  
• Yin Qian, Sai Zhang, Zhengwei Qi:
  Mining Change Patterns in AspectJ Software Evolution. 108-111
  
• Jianmin Jiang, Hongping Shu:
  Assembly, Disassembly, Adaptation and Replacement of Software Components. 112-115
  
• Liyin Zheng, Lu An, Li Zhang:
  A Component Retrieval Method Based on Query Vector Transfer. 116-118
  
• Xiaofeng Zhou, Zhijian Wang:
  An Approach of Tailoring Binary Component. 119-122
  
• Wang Jing-zhong, Li Hui-dan:
  Research on the Web GIS Technology Based on MapXtreme. 123-126
  
• Rui Fan, Xiaohui Liu:
  An Information System Model Based on Enterprise Intelligence Component. 127-130
  
• Tan Jing, Zhang Baiping, Wan Li:
  Design and Implementation of WebGIS Based on Distributed Components. 131-134
  
• Yangli Jia, Zhoujun Li, Zhenling Zhang:
  Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems. 135-138
  
• Bin Wang, Jinfang Sheng:
  Extending FCD Process to Support COTS Selection. 139-142
  
• Changjun Hu, Feng Jiao, Chongchong Zhao:
  An Architectural Quality Assessment for Domain-Specific Software. 143-146
  
• Xiaoting Zhang, Gengguo Cheng:
  Design of Laboratory Management System Based on JSF Framework. 147-150
  
• Su Li, Qian Mo, Jianjun Zhou:
  A Component-Based GIS System for Police Applied to Alarm Receipt and Disposal. 151-154
  
• Ding Tang, Cheng Wan, Zhijun Zhao:
  A New Design of AAA Client for Integrated Access Based on Embedded Linux. 155-159
  
• Xi-min Wang, Zhe Wang:
  Design and Implementation of Memory Pools for Embedded DSP. 160-164
  
• Yanhui Fan, Hongguo Xu, Zhen Dong:
  Influence Law of Pedestrian's Head Throw Distance on Vehicle Body Surface. 165-168
  
• Pei Ke, Zhang Gang, Li Fu-jiang:
  Design of Boot Loader with Multiple Communication Port. 169-175
  
• Zhu Xiangbin:
  Virtual Deadline Scheduling Algorithm on Window-Constrained Constant Bandwidth Server. 176-179
  
• Vinh Quang La:
  A Study on Java Virtual Machine for Real-Time Embedded Systems. 180-183
  
• Yuan Sun, Yun-Feng Ai, Guo-Sheng Yang:
  An Optimal Scheduling Algorithm for Vehicular Application Specific Operating Systems. 184-189
  
• Zhu Xiangbin:
  Support QoS in Open Real-Time Systems. 190-193
  
• Bing Du, Chun Ruan:
  Embedded Robust Control Real-Time Scheduling. 194-197
  
• Junman Sun, Huajing Fang, Ganyi Wang, Zhendong He:
  Information Push Technology and Its Application in Network Control System. 198-201
  
• Jie Wan, Li Li:
  Simulation for Constrainted Optimization of Inventory System by Using Arena and OptQuest. 202-205
  
• Jianguo Chen, Hangxia Zhou, Stefan D. Bruda:
  Combining Model Checking and Testing for Software Analysis. 206-209
  
• Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao:
  Counterexample Generation for Probabilistic Timed Automata Model Checking. 210-214
  
• Xu Yi, Hongbing Qiu:
  Modeling and Simulation of the Locking Process of a 4th Order Microwave Frequency-Hopping PLL Synthesizer. 215-218
  
• Yongfeng Liu, Youtong Zhang, Hongsen Tian, Jianjun Qin:
  Three-Dimensional Simulation and Experiment in a High-Speed Direct-Injection Diesel Engine Based on KIVA-3V Code. 219-222
  
• Anchao Cheng, Xin Yao, Lianguo Duan:
  Design and Implementation of Integrated Services Switch Simulation Model Based on ATM-MPLS. 223-226
  
• Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan:
  Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. 227-230
  
• Song Cheng, Han Jing Yuan:
  The Virtual Automotive Paint Shop. 231-234
  
• Igor Aguilar Alonso, José Carrillo Verdún, Edmundo Tovar Caro:
  The Importance of IT Strategic Demand Management in Achieving the Objectives of the Strategic Business Planning. 235-238
  
• Peng Rong, Zhong Xiaozhen:
  Domain Model Evolutionary Approach Based on Semantic Association. 239-243
  
• Haitao Li, Aisong Shi, You-xin Meng:
  "Parallel Development and Independent Integration Model" for Scientific Research Software engineering. 244-246
  
• Luo Wenjie, Liu Peng, Weiming Zhang, Bosheng Zhou:
  Applying Double Process Models for Verification in CMMI. 247-250
  
• Xi Wang, Liang Guo, Huaikou Miao:
  An Approach to Transforming UML Model to FSM Model for Automatic Testing. 251-254
  
• Juntao Gao, Li Zhang, Zhiyao Wang:
  Decision Support for Handling Gaps between ERP Functionalities and Organizational Needs: A Goal Reasoning Based Approach. 255-258
  
• Yiqiu Fang, Junwei Ge:
  Evaluation of Requirements Analysis Progress Based on Chaos. 259-262
  
• Min Jiang, Changle Zhou, Fan Zhang, Shu Chen:
  Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations. 263-266
  
• Zhongyu Chen, Huaikou Miao, Bo Song:
  A New Formal Modeling Approach for Requirement. 267-270
  
• Hai Tang, Shihong Chen:
  Research on Layering Algorithm of DAG. 271-274
  
• Vasundhara Kulkarni:
  A Conceptual Model for Capturing Stakeholders' Wish List. 275-278
  
• Chengliang Wang, Yaxin Zhou, Juanjuan Chen:
  Model Design & Implementation for Multifarious Business Rule Engineer Cooperation. 279-282
  
• Wu Bei, Xingyuan Chen, Yongliang Wang, Dai Xiangdong, Peng Jun:
  Network System Model-Based Multi-level Policy Generation and Representation. 283-287
  
• Yao Jun-feng, Shi Ying, Wen-jie Yuan, Ye Peng, Luo Ju-bo, Jia Xiang-Yang:
  A Framework of Reflective Mechanism for Supporting OWL-S Requirements Specifications Evolution. 288-291
  
• Azida Zainol, Sa'ad Mansoor:
  Investigation into Requirements Management Practices in the Malaysian Software Industry. 292-295
  
• Caroline C. Budwell, Frank J. Mitropoulos:
  The SLAI Methodology: An Aspect-Oriented Requirement Identification Process. 296-301
  
• Yang Ying-ying, Li Zong-yong, Wang Zhi-xue:
  Domain Knowledge Consistency Checking for Ontology-Based Requirement Engineering. 302-305
  
• Tiantian Wang, Xiaohong Su, Peijun Ma:
  Program Normalization for Removing Code Variations. 306-309
  
• Qian Gunqun, Zhang Lin, Zhang Li:
  Applying Complex Network Method to Software Clustering. 310-316
  
• Wang Wei, Hong Jun, Tang Yiping:
  Image Matching for Geomorphic Measurement Based on SIFT and RANSAC Methods. 317-320
  
• Yang Su, Xuan-Wu Zhou, Min-Qing Zhang:
  Approach on Aspect-Oriented Software Reverse Engineering at Requirements Level. 321-324
  
• Jong Sung Dong, Keun Lee, Kyong Hwan Kim, Sang Tae Kim, Ji Man Cho, Te Hi Kim:
  Platform Maintenance Process for Software Quality Assurance in Product Line. 325-331
  
• Mira Kajko-Mattsson, Ralf Fredriksson, Anna Hauzenberger:
  Eliciting a Retirement Process Model: Case Study 1. 332-337
  
• Jingbo Zhang, Wen Fu, Jianmin Pang, Rongcai Zhao:
  Using Propositional Calculas to Accurately Structure Control-Flow from Binary Executables. 338-341
  
• Hui Liu, Bin Zhu:
  Refactoring Formal Specifications in Object-Z. 342-345
  
• Ning Huang, Yongyi Peng, Camilo Rocha:
  Extend OWL-S Dynamic Semantics with Rewrite Logic. 346-349
  
• Jingbo Zhang, Rongcai Zhao, Jianmin Pang, Wen Fu:
  Formal Abstraction of Semantics for Detecting Malicious Code. 350-353
  
• JianHong Ye, ShiXin Sun, Lijie Wen, Wen Song:
  Transformation of BPMN to YAWL. 354-359
  
• Fei Yuan, Yue Chen, Husheng Liao:
  XQC: A Compiler for XQuery. 360-363
  
• Xiaofeng Zhou, Yingchi Mao:
  Extended Directional Graph Based Description Approach on Web Service Composition Relationship. 364-367
  
• Bensheng Yun, Junwei Yan, Min Liu, Yi Yu:
  Behavioral Equivalence Based Web Service Discovery. 368-371
  
• Zhengdong Zhu, Xuehan Dong, Yahong Hu, Zengzhi Li:
  Selection Mechanism of Composite Web Services Based on Usability. 372-376
  
• Cailan Zhou, Bin Feng, Zhihao Li:
  Research and Implementation of the Small-Scale Search Engine Based on Lucene. 377-380
  
• Lu-yi Guo, Hao-peng Chen, Guang Yang, Ruo-yu Fei:
  A QoS Evaluation Algorithm for Web Service Ranking Based on Artificial Neural Network. 381-384
  
• Shu-jia Wang, Hao-peng Chen:
  A Web Service Selecting Model Based on Measurable QoS Attributes of Client-Side. 385-389
  
• Ruining Li, Zhurong Zhou, Yuhui Qiu:
  Automated Composition of Semantic Web Service Using Data Mediator and Complete Backward Tree. 390-393
  
• Lili Song, Chao Wang, Weiping Wang, Quan Jia:
  Research on Simulation Service Ontology and Its Matchmaking Model. 394-399
  
• Qing-ming Wu, Chao Zhou, Tao Jing:
  Research on SOA Based Framework of Collaborative Design System for Complicated Product. 400-403
  
• Tang Jianfeng, Zhang Xianing:
  Mainframe Application Transition to SOA Environment Using CICS Service Flow Feature. 404-408
  
• Dehui Du, Jing Liu, Honghua Cao:
  A Rigorous Model of Contract-Based Service Component Architecture. 409-412
  
• Jijiao Jiang, Jingwen Zhang:
  Re-examination of Risk and Return: New Evidence from the Emerging and Transforming Stock Market of China. 413-416
  
• Li Sui, Gengchen Shi, Ping Song, Xingyu Yuan:
  Design and Implementation of ISO Document Management System. 417-419
  
• Huazhu Song, Bin Zhao, You Zhou, Yi Lu, Wang Meng:
  Fast Design and Construction for Network Application Solution Based on .Net 3.5 Framework. 420-423
  
• Weibo Xie, Fu Ting:
  Design and Implementation of the Virtual Machine Constructing on Register. 424-430
  
• Zhang Qing-hua, Shao Long-qiu, Zhang Ya-she, Li Hong-fang, Yu-zhen Fu:
  Design of Unit Fault Diagnosis System Software Based on Artificial Immune System. 431-435
  
• Sameer Abufardeh, Kenneth Magel:
  Culturalization of Software Architecture: Issues and Challenges. 436-439
  
• Hua Xing, Qingshan Li, Yingqiang Wang, Chenguang Zhao:
  A Scripting Control Integration Strategy Based on Task-Reduction Method. 440-443
  
• Guiling Sun, Wenhe Yue, Bo Liu, Weixiang Li:
  Design and Study of Distribution Map of a General Architecture for Wireless Sensor Networks Based on GDI+. 444-447
  
• Yuan Zhang, Limin Zhang:
  Research on CGF Entity Model Based on Factory Mechanism. 448-451
  
• Shanshan Hao, Qingshan Li, Meisheng Wang, Chenguang Zhao, Hua Xing:
  A Systems Integration Oriented Multi-agent Hierarchy Cooperation Model. 452-455
  
• Chunying Yu, Qiuwen Zhang:
  Design and Implementation of Spatial Information Grid System. 456-459
  
• Ruigang Zhang:
  Design and Implementation of an Intelligent User-Manual Maker System. 460-463
  
• Xiaona Xia, Baoxiang Cao:
  The Design and Definition of Architecture-Centric Agent Self-Adaption Model. 464-467
  
• Yan Wenfei, Feng Xiaoyu, Zhou Jin:
  Use Castle IoC to Implement Privilege Service. 468-471
  
• Guo-feng Wu, Ling-bo Xu, Jia-cheng Ni:
  Based on the AOP of the Web Log of the Universal Design and Implementation. 472-475
  
• Lin Xinmei, Zhao Ziyu:
  A Study of Transient Temperature Measuring System Based on LabVIEW for Droplets. 476-480
  
• Feng Jiao, Changjun Hu, Chongchong Zhao:
  A Software Complexity Metric for SCA Specification. 481-484
  
• Liu Peng, Bosheng Zhou:
  The Research on the Modeling Transformation from GBMS to jBPM. 485-490
  
• Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang:
  A Replay-Oriented Software Architecture for Easy Debugging. 491-499
  
• Tao Zhang, Lei Deng, Jian Wu, Qiaoming Zhou, Chunyan Ma:
  Some Metrics for Accessing Quality of Product Line Architecture. 500-503
  
• Jia Xiaoliang, Tian Xitian, Zhang Zhenming:
  Research on Aircraft Manufacturing Process Data Management System Oriented 2D-PLM. 504-507
  
• Pingjian Zhang, Jianqing Xi:
  Attribute-Driven Design of MDX Compiler. 508-511
  
• Dah-Chuan Gong, Wei-Cheng Hsiao, Pei-Shun Ho:
  Information Integration Architecture of Risk Management for RoHS. 512-515
  
• Zunqi Yang, Hai Lin:
  Analysis of the Virtual Enterprise Partner Selection Based on Multi-agent System. 516-519
  
• Chengzhi Liu, Caihong Sun, Jia Yu:
  A Hybrid Recommendation Architecture for Mobile Commerce System. 520-526
  
• Pengfei Zeng, Yongping Hao, Weiping Shao, Yongxian Liu:
  Towards a Software Integration Framework in Product Collaborative Design Environment. 527-530
  
• Hoon Kim, Young-Jun Jeon, Seung-Ho Shin:
  Platform of Rich Internet Application for Wireless Sensor Network. 531-536
  
• Chengyao Wang, Xuefeng Zheng, Xuyan Tu:
  Coordination Framework Based Software Development Approach and Its Applications. 537-540
  
• Mingzhi Mao, Cunyin Peng, Li Chen:
  Multi-granularity Object-Oriented Software Estimation Model and Tools: Software Engineering. 541-547
  
• Xudong Liu, Xiaofei Xu, De-chen Zhan, Ting He:
  A Novel Approach for Developing Web-Based Enterprise Information Systems. 548-551
  
• Huigui Rong, Ning Zhou, Min Jin, Jiaxin Wu:
  Research on Service-Oriented Framework of Interface Prototype Driven Development. 552-557
  
• Chong-wei Xu:
  A Software Framework for Online Mobile Games. 558-561
  
• Jun Zhu, Quan Yin, Rui Zhu, Changguo Guo, Huaimin Wang, Quanyuan Wu:
  A Plugin-Based Software Production Line Integrated Framework. 562-565
  
• Hongjuan Li, Lan Yu-Qing, Yang Lin, Guo Shu-Hang:
  A Framework for Workflow Process Definition Transformation Based on Meta-Model. 566-569
  
• Chaogai Xue, Haiwang Cao:
  Dynamic Properties of Enterprise Information System Based on Formal Representation. 570-573
  
• Tiejun Pan, Leina Zheng, Chengbin Fang:
  Defect Tracing System Based on Orthogonal Defect Classification. 574-577
  
• Faliang Huang, Yunfei Yin, Zhiqiang Yao:
  A Practical Model for Dynamic Software Measurement. 578-581
  
• HongTao Chen, Jun Liu, ShengMing Gu:
  Cost Model Based on Software-Process and Process Oriented Cost System. 582-586
  
• Hao Wang, Haiqing Wang, Hefei Zhang:
  Software Productivity Analysis with CSBSG Data Set. 587-593
  
• Yangting Wang, Yanan Wang:
  Software Process in Software Project Management. 594-596
  
• Yingying Su, Wanshan Wang, Jianrong Wang, Shuang Liang:
  Research on the Workflow System of Collaborative Process Planning. 597-600
  
• Haomin Zhan, Guisheng Yin, Changsong Sun:
  Process Algebra Based for Requirement Process Reorganization. 601-604
  
• Nan Zhang, Jinhe Wang:
  Software Design for Real-Time Control System. 605-608
  
• Beijun Shen, Tong Ruan:
  A Case Study of Software Process Improvement in a Chinese Small Company. 609-612
  
• Xuan Gong, Zhanming Li:
  Research on Key Techniques of Electromechanical Robot and Its Collaborative Design System. 613-616
  
• Mira Kajko-Mattsson, Natalja Nikitina:
  From Knowing Nothing to Knowing a Little: Experiences Gained from Process Improvement in a Start-Up Company. 617-621
  
• Zhang Rui, Ju Jianmin:
  Finite Element Analysis Based on ProE, HyperMesh and ANSYS. 622-625
  
• Dapeng Liu, Shaochun Xu, Monica Brockmeyer:
  Investigation on Academic Research Software Development. 626-630
  
• Yanqing Wang, Xiao Zhang, Long Yu, Hujie Huang:
  Quality Assurance of Peer Code Review Process: A Web-Based MIS. 631-634
  
• Yanqing Wang, Li Lei, Chunyou Zhao, Zenghua Huang:
  Teaching Model of Coding Standards Based on Evaluation Index System and Evaluating Platform. 635-638
  
• JiDong Ge, Hao Hu, Jian Lü:
  Order Constraints for Multi-view Software Process Model. 639-642
  
• Tao Zhang:
  Ansys Second Development Method and Application in Transient Thermal Simulation. 643-645
  
• Peng Jun, Xingyuan Chen, Wu Bei, Dai Xiangdong, Yongliang Wang:
  Policy Monitoring and a Finite State Automata Model. 646-649
  
• Guangquan Zhang, Rong Mei:
  An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. 650-653
  
• Ping Guo, Xin Liu, Qian Yin:
  Methodology for Reliability Evaluation of N-Version Programming Software Fault Tolerance System. 654-657
  
• Yanyan Zheng, Renzuo Xu:
  A Composite Stochastic Process Model for Software Reliability. 658-661
  
• Sharifah Mashita Syed-Mohamad, Tom McBride:
  Reliability Growth of Open Source Software Using Defect Analysis. 662-667
  
• Yang Zhao, Ligong Yu, Jia Bei:
  Assure Parallel Interference Patterns in Multithreaded Programs with Permissions. 668-671
  
• Yanjun Shu, Zhibo Wu, Hongwei Liu, Xiaozong Yang:
  Considering the Dependency of Fault Detection and Correction in Software Reliability Modeling. 672-675
  
• Juan Li, Hou-Xiang Wang:
  Fault Tree Based Prediction of Software Systems Safety. 676-678
  
• Caihua Wu, Xiaodong Zhu, Juntao Liu:
  The SRGM Framework of Integrated Fault Detection Process and Correction Process. 679-682
  
• Huiling Shi, Jun Ma, Fengyi Zou:
  A Fuzzy Comprehensive Evaluation Model for Software Dependability Based on Entropy Weight. 683-685
  
• Du Junwei, Xu Zhongwei, Mei Meng:
  Verification of Scenario-Based Safety Requirement Specification on Components Composition. 686-689
  
• Jian Wang, Rui Chen:
  Software Testing of China's Energy Based onthe Co-integration Model. 690-693
  
• Seung Hak Kuk, Hyeon Soo Kim:
  Automatic Generation of Testing Environments for Web Applications. 694-697
  
• Lijun Lun, Hui Xu:
  Analysis of the Subsume Relation between Software Architecture Testing Criteria. 698-701
  
• Xin Jin, Jing Xu, Li Jia, He Tian, Bo Pang:
  A Web-App Auto-Testing System Based on Test-Flow and Control Constraints. 702-707
  
• Yu Xia Sun, Huo Yan Chen, T. H. Tse:
  Lean Implementations of Software Testing Tools Using XML Representations of Source Codes. 708-711
  
• Yongzhong Lu, Danping Yan, Songlin Nie, Chun Wang:
  Development of an Improved GUI Automation Test System Based on Event-Flow Graph. 712-715
  
• Pu Yunming, Wang Wei:
  A Balancing Model between Structural Testing and Functional Testing. 716-718
  
• Jie Hui, Lan Yu-Qing, Luo Pei, Guo Shu-Hang, Gao Jing:
  LKDT: A Keyword-Driven Based Distributed Test Framework. 719-722
  
• Xiao Xun, Wang Jiangqing:
  An Application of Vertex Partition for Parallel Test Tasks Scheduling in Automatic Test System. 723-726
  
• Hu Jin, Yi Wang, Nian-Wei Chen, Zhi-Jian Gou, Shuo Wang:
  Artificial Neural Network for Automatic Test Oracles Generation. 727-730
  
• Chunyan Ma, Chenglie Du, Tao Zhang, Fei Hu, Xiaobin Cai:
  WSDL-Based Automated Test Data Generation for Web Service. 731-737
  
• Yu Hong, Song Huang, Xiaoming Liu, Xiushan Yu:
  Using Symbolic Execution in Embedded Software Testing. 738-742
  
• Liangming Li, Lei Liu, Zhijian Wang, Yelong Tang:
  Research on Interface Automata Testing. 743-746
  
• Huo Yan Chen, Lin Tan, T. H. Tse:
  A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing. 747-750
  
• Minghui Wang, Jie Yuan, Huaikou Miao, Gemiao Tan:
  A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. 751-754
  
• Chengying Mao:
  Performing Combinatorial Testing on Web Service-Based Software. 755-758
  
• M. G. M. Khan, N. Ahmad, L. S. Rafi:
  Optimal Testing Resource Allocation for Modular Software Based on a Software Reliability Growth Model: A Dynamic Programming Approach. 759-762
  
• Sumaira Nazir, Nargis Fatima, Sheheryar Malik:
  Effective Hybrid Review Process (EHRP). 763-771
  
• Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou:
  A State Class Approach to Time Petri Nets with Weak Semantics. 772-775
  
• Sherrie Campbell, Ann E. Kelley Sobel:
  Supporting the Formal Analysis of Software Systems. 776-779
  
• Xu Hongxia, Zhang Li:
  An Efficient Extension of Earley's Algorithm for Parsing Multidimensional Structures. 780-783
  
• Munina Yusufu, Gulina Yusufu:
  Comparison of Software Specification Methods Using a Case Study. 784-787
  
• Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson:
  A New CSP Operator for Optional Parallelism. 788-791
  
• Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali:
  Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. 792-795
  
• Wei Li, Ying Lu, Yi-Chao Zhang, Jian-Guo Wu:
  A Verifying Method of Controller Synthesis. 796-800
  
• Yifeng Wang, Ping Zeng, Xuemei Luo:
  Color Gamut Mapping Based on Image Fusion. 801-805
  
• Qiaoling Huang:
  An Algorithm for Extracting Straight Lines Based on Differences Process. 806-809
  
• Li Quanqing, Li Ming:
  The Method of Error Controlling on the Vectorization of Dot Matrix Image. 810-813
  
• D. X. Zhao, H. Wang, J. L. Zhu, J. L. Li:
  Research on a New Fabric Defect Identification Method. 814-817
  
• Qin Jiang, Sheng Ma:
  Periodic and Subharmonic Solutions for a Class of Local Nonquadratic Second-Order Hamiltonian Systems. 818-821
  
• JiXiang Ye, GuanZheng Tan:
  An Improved Digital Watermarking Algorithm for Meaningful Image. 822-825
  
• Xiaoming Wu, Jing Chi:
  Shape-Preserving Fitting Used for Medical Image Pre-processing. 826-829
  
• Jianping Hu, Xiuping Liu, Zhixun Su, Xiquan Shi, Fengshan Liu:
  An Efficient Low Stretch Spherical Parameterization. 830-833
  
• Chuanjun Li, Yuanqing Liu, Qing Wang, Yingying Tai:
  A GIS Database Updating Algorithm Based on GPS Surveying Data. 834-837
  
• Zhong Shan:
  Research on Reconstruction of Complicated Curved Surface Based on Extended Approximating Method. 838-841
  
• Ye Fu-jun, Pan Rui-fang:
  A Scheme for Skeleton-Based Shape Deformation. 842-844
  
• Hai-ping Feng, Jun Zhao:
  Application Research of Computer Vision in the Auto-Calibration of Dial Gauges. 845-848
  
• Hongchao Zhang, Jian Lu, Xiaowu Ni:
  2D Reconstruction of Laser Plasma Electron Density with FFT Method. 849-852
  
• Qitu Hu, Xiao Deng, Xiaoling Zhang:
  Simulation on Random Motion of Numerous Spheres with Collision-Event-Driven Approach. 853-857
  
• Hongzhi Zhang, Wangmeng Zuo, Kuanquan Wang, Yan Chen:
  Biomedical Image Processing: A Cross-Discipline Course for Undergraduate Computer Science and Technology Major. 858-861
  
• J. M. Sharif, M. Shafie Latiff, Md. Asri Ngadi, A. B. A. Hamid, M. S. S. Omar, M. M. A. Jamil:
  Spatio-temporal Application for Collaborative Issues in Bioinformatics Datasets. 862-865
  
• Li Bian, Xiangqian Che, ZhenYu Zhu, Zong Bao Lv:
  Application of the Fuzzy Image Processing Based on Wavelet Optics. 866-869
  
• Zhang Lei, Zhang Xue-fei, Liu Yin-ping:
  Research of the Real-Time Detection of Traffic Flow Based on OpenCV. 870-873
  
• Liu Liu, Liqiang Zhang, Chen Chen, Hong Chen:
  An Improved LOS Method for Implementing Visibility Analysis of 3D Complex Landscapes. 874-877
  
• Huijie Zhang, Dantong Ouyang, Heping Lin, Jingbo Zhang:
  A Terrain Model Simplification Method Based on Adaptive Threshold Selection. 878-881
  
• Xiaojun Tan, Xin Feng:
  An Approach for 3D Water Surface Simulation. 882-885
  
• Xu Jing, Wu Jian, Ye Feng, Cui Zhi-ming:
  A Level Set Method for Color Image Segmentation Based on Bayesian Classifier. 886-890
  
• Yongliang Xie, Lei Zhang, Chuanyu Wu, Jianjun Yin:
  A Method of Robotic Visual Tracking for a New Automatic Laser Welding Line. 891-894
  
• Hongge Yao, Yaqin Du, Chongyang Hao:
  Real-Time Tracking Based on Particle Filter and Multi-cue. 895-898
  
• Dou Zhao, Ding Liu, Yanxi Yang:
  A New Stereo Matching Method Based on Sub-pixel Corner Detection. 899-902
  
• Zetao Jiang, Min Wu, Bina Zheng:
  A Linear and Aspect Ratio Invariant Rectification Method for Stereo Vision. 903-906
  
• Chong Su, Junming Hou, Zirui Pang, Wanshan Wang:
  Simulation of Ground Surface Profile Based on Virtual Reality Technology. 907-910
  
• Qing Li, Yan Liang, Yanfang Peng:
  A Comparative Study of the Anti-noise Ability about Cubic B-spline Wavelet and Canny Algorithm. 911-914
  
• Yang Yu, Xinyi Tang, Haijiao Cai, Yuanlin Chen, Sili Gao:
  3D Simulation of Real-Time Infrared Scene Based on DSP. 915-918
  
• Mingcai Zhou, Yangsheng Wang, Xuetao Feng, Xiaoyan Wang:
  A Robust Texture Preprocessing for AAM. 919-922
  
• Xiaoyan Wang, Yangsheng Wang, Xuetao Feng, Mingcai Zhou:
  Adaptive Gaussian Mixture Models Based Facial Actions Tracking. 923-926
  
• Ai Le-Qiang, Sun Hong-Min, Tang Xin-Zhong:
  The Construction and Implementation of Functional Model of Soybean Based on N Utilization Process. 927-930
  
• Zu-Qiang Xiong, Ce Yuan:
  Study on the 3D Engineering-Geological Modeling and Visualization System. 931-934
  
• Jiejun Huang, Weiping Xu, Xu Zhao, Jie Chen, Fawang Ye:
  Using Geographic Information System for Simulation and Decision Making in Blasting. 935-938
  
• Xiangqian Che, Fujun Zhao, JiaJun Ma, Li Bian:
  An Automatic Multi-view Point Cloud Merging Algorithm Used in Structured Light Measurement System. 939-942
  
• Chen Wei-dong, Ding Wei:
  An Improved Median-Cut Algorithm of Color Image Quantization. 943-946
  
• Sang Aijun, Hexin Chen, Feng Hua, Deng Linlin:
  The Research for Color Image Encoding Based on 4-D n Order Orthogonal Matrix. 947-950
  
• Yao Qinghua, Cao Miao:
  Study of Unequal Error Protection Method Based on JPEG2000 for Surveying&Mapping Image. 951-954
  
• Ying Hou, Guizhong Liu:
  Hyperspectral Image Lossless Compression Using the 3D Set Partitioned Embedded Zero Block Coding Alogrithm. 955-958
  
• Mengmeng Zhang, Wenkai Liu, Ruobin Wang, Huihui Bai:
  Multiple Description Video Coding Based on Motion-Compensated Correlation. 959-962
  
• Ying Hou, Guizhong Liu:
  Lossy-to-Lossless Compression of Hyperspectral Image Using the Improved AT-3D SPIHT Algorithm. 963-966
  
• Luo Tao, Yao Su-ying, Shi Zai-feng, Gao Peng:
  An Improved Three-Step Search Algorithm with Zero Detection and Vector Filter for Motion Estimation. 967-970
  
• Pengdong Gao, Li Ameng, Yongquan Lu, Jintao Wang, Nan Li, Wenhua Yu:
  Adaptive Mesh Simplification Using Vertex Clustering with Topology Preserving. 971-974
  
• Xumin Liu, Weixiang Xu:
  Uniform B-Spline Curve and Surface with Shape Parameters. 975-979
  
• Deqiang Wang, Xian Wang, Shaoxi Li, Shaofang Zhang:
  Diagonal-Flip Distance Algorithms of Three Type Triangulations. 980-983
  
• Shen Ying, Lin Li, Yang Mei, Yurong Gao:
  Viewshed Computation Based on LOS Scanning. 984-987
  
• Yaohui Li:
  Determining the Regularity of Bézier Curve and Surface by Gröbner Bases Method. 988-991
  
• Li-quan Sun, Xue-yao Gao:
  Improved Chaos-Particle Swarm Optimization Algorithm for Geometric Constraint Solving. 992-995
  
• Jian-Hong Gan, Qiang Peng, Jim X. Chen:
  Improved Strategies for OBB Fitting and Overlap Test for OBB. 996-999
  
• Jinting Xu, Weijun Liu, Hongyou Bian, Lun Li:
  Accurate and Efficient Algorithm for the Closest Point on a Parametric Curve. 1000-1002
  
• Zhiyi Zhang, Zhenhua Wang, Dongjian He:
  A New Bi-cubic Triangular Gregory Patch. 1003-1007
  
• Mao HuaQing, Bian FuLing:
  Research on Constructing 3-D Pipeline Connection Model By Using OpenGL. 1008-1011
  
• Hongyou Bian, Weijun Liu, Lun Li, Jinting Xu, Fengjie Tian:
  Research on a New Kind of Adaptive Parallel Scan Method in Laser Metal Deposition Shaping. 1012-1015
  
• Zhanguo Ma, Hongbin Zhang:
  Mesh Deformation Based on Preserving Distances and Angles. 1016-1019
  
• Xu Yanlei, Zhao Jiyin, Jiao Yubin:
  CT Image Segmentation Based on Order Morphological Gradient Map and Improved Region Growing Arithmetic. 1020-1023
  
• Yan Wei, Yan Chao:
  Modeling Representation in Cooperative Plant Design within Heterogeneous CAD Systems. 1024-1026
  
• Hang Qiu, Leiting Chen:
  An Object-Oriented Graphics Engine. 1027-1030
  
• Zaiqiang Ku, Zhihua Hu:
  Camouflage Attack Detection Based on KMOD Kernel Function. 1031-1034
  
• Liu Wenzhou, Xiangping Meng, Li Linna, Quande Yuan:
  A Kind of Effective Fingerprint Recognition Algorithm and Application in Examinee Identity Recognition. 1035-1039
  
• Xiao Sixing, Hong Jingxin, Xie Xiaozhu:
  An Algorithm of Mean-Shift Template Update Based On Mixture Gaussian Model. 1040-1044
  
• Ziying Zhang, Rubo Zhang, Xin Liu:
  Multi-robot Formation Control Based on Behavior. 1045-1048
  
• Guisheng Fang, Jianjun Wang:
  An Interactive Sketching Modeling System: Sketch3D. 1049-1052
  
• Zhang Yong, Baocai Yin, Dehui Kong, Yang Guang-wei:
  Real-Time Crowd Rendering and Interactions on GPU. 1053-1057
  
• Bo Li, Cheng Wang, Lijun Li:
  Efficient Occlusion Culling with Occupancy Proportion. 1058-1061
  
• Ziyi Liu, Wenjing Ma:
  Exploiting Computing Power on Graphics Processing Unit. 1062-1065
  
• Jine Lei, Huasheng Zhu, Jun Ye:
  A New Image Denoising Method. 1066-1069
  
• Yizhong Xin, Xiangshi Ren, Dawei Li:
  A Comparison of Pen Pressure and Tilt in Precision Parameter Manipulation. 1070-1073
  
• Riwei Wang, Hua Zhang, Deng Yuefan, Lei Ming:
  Efficient Parallel Radiosity for Terascale Applications. 1074-1077
  
• Zhang JiXian, Luo Lei:
  An Embedded Rich Media Interactive Technology Based on the Expansion of the SVG Tiny 1.2. 1078-1081
  
• Shang Liu, JiaChuan Sheng, Li He, Fan Chen:
  Simulation of 3D Garment Based on Six Pieces of Bezier Curved Surfaces. 1082-1085
  
• Xiaoling Li, Wei Wang, Haibo Xv:
  Application of 3D Virtual Presentation Technology in Product Customer System. 1086-1089
  
• Jian Wang, Limei Yan:
  Graphic Sharing Based on XML Technology: Analysis and Web Expression of DXF Graphic. 1090-1093
  
• Cui-yu Li, Xiao-tao Zhang:
  Research and Comparison of Numerical Simulation of Draping and Buckling about Woven Fabric and Knitted Fabric. 1094-1097
  
• Xiaolei Zhou, Xiangshi Ren, Yue Hui:
  Effect of Start Position on Human Performance in Steering Tasks. 1098-1101
  
• Tong Gao, Xin Zheng, Qian Yin:
  Software-Based Non-invasive Implementation of Binocular Vision. 1102-1105
  
• Jinsheng Xiao, Lingling Xu, Benshun Yi, Wenjuan Xie:
  The Improvement of C-V Level Set Method for Image Segmentation. 1106-1109
  
• Cheng Cheng, Zhenling Xu, Yan Li:
  Semantic Space Construction for Virtual Assembly. 1110-1113
  
• He Xiaoxi, Chen Leiting:
  Path Planning Based on Grid-Potential Fields. 1114-1116
  
• Shuai Liu, Lingli Zhao, Junsheng Li, Haicheng Xu:
  The Research of 3D Reconstruction from Uncalibrated Image Sequences Combined with 3D Models. 1117-1119
  
• Xin Yang, Duanqing Xu, Lei Zhao:
  Ray Tracing Dynamic Scenes using fast KD-tree Base on Multi-Core Architectures. 1120-1123
  
• Zhao Huan, Li Xiuhuan, Yu Lilei:
  Shot Boundary Detection Based on Mutual Information and Canny Edge Detector. 1124-1128
  
• Quan Hongyan, Wang Changbo, Lin Junjuan:
  A New Dynamic Tracking Method of Argument Reality. 1129-1132
  
• Jianyu Yang, Tianbiao Yu, Hu Li, Wanshan Wang:
  Research on Body Movement Interacting Model in Virtual Environment. 1133-1136
  
• Wang Chun, Chen Ge, Liu Yanyan, Margaret Horne:
  Virtual-Reality Based Integrated Traffic Simulation for Urban Planning. 1137-1140
  
• Chen Dawei, Ma Zhiling, Yang Xiping:
  A Virtual Object Generation Method Based on Image Vector Recognition. 1141-1145
  
• Yong Chang, Zi-sheng Wang:
  Research on 3D Visualization of Crystal Molecular Structure Based on Augmented Reality. 1146-1149
  
• Nanyue Yang, Min Zhou:
  Autonomous Overtaking Behavior Simulation for Autonomous Virtual Vehicle in Virtual Traffic Environment. 1150-1153
  
• X. G. Wang, F. C. Wu, Z. H. Wang:
  Harris Correlation Descriptor (HCD): A Novel Descriptor for Point Matching. 1154-1157
  
• Huijie Zhang, Dantong Ouyang, Heping Lin, Weizhou Guan:
  Texture Synthesis Based on Terrain Feature Recognition. 1158-1161
  
• Zhang Shuai, Tan Guoxin, Liang Bo, Hu Fanggang:
  Design and Implementation of Real-Time 3D Campus Scene Simulation Management System Based on Vega. 1162-1165
  
• Kyungboo Jung, Seungdo Jeong, Byung-Uk Choi:
  Virtual Duplication of Rigid Objects from Image Sequences. 1166-1169
  
• Kyungboo Jung, Sangwon Lee, Seungdo Jeong, Byung-Uk Choi:
  Virtual Tactical Map with Tangible Augmented Reality Interface. 1170-1173
  
• Peihe Tang, Lianyuan Jiang, Hao Liu:
  Collision Detection of High Density Point Set Based on Convex Hull. 1174-1177
  
• Duan Hong, Zhang Haiying:
  A Facial Expression Calculate Method Based on Muscle Model. 1178-1181
  
• Lingli Zhao, Shuai Liu, Junsheng Li, Haicheng Xu:
  Rapid Acquirement and Visualization of CityGML Documents. 1182-1185
  
• Weidong Wen, Yanxiang He, Li Li:
  A Mobile Service Language Based on Mobile Agent for Ubiquitous Computing. 1186-1188
  

Last update Thu May 24 04:15:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page