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