default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCSSE 2008: Wuhan, China
- International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. IEEE Computer Society 2008
- 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 - Shijian Deng, Lei Pan, Yukang Wu:
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 - (Withdrawn) Towards a Unified Framework for Complexity Measurement in Aspect-Oriented Systems. 98-103
- Linlin Zhang, Shi Ying, You-Cong Ni, Jing Wen, 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 - Jingzhong Wang, Huidan Li:
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, Baiping Zhang, 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 - Ke Pei, Gang Zhang, Fujiang Li:
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, Guosheng 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 - Wenjie Luo, Peng Liu, 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 - Ying-ying Yang, Zongyong Li, Zhi-xue Wang:
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 - Gunqun Qian, Lin Zhang, Li Zhang:
Applying Complex Network Method to Software Clustering. 310-316 - Wei Wang, Jun Hong, Yiping Tang:
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 - Qingming 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 - Qing-hua Zhang, Long-Qiu Shao, Zhang Ya-she, Hong-Fang Li, 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, Ziyu Zhao:
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 - Xiaoliang Jia, Xitian Tian, Zhenming Zhang:
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 - Rui Zhang, Jianmin Ju:
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 - Junwei Du, Zhongwei Xu, Meng Mei:
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, Nesar 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 - Fu-jun Ye, Rui-fang Pan:
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 - Johan Mohamad Sharif, M. Shafie Latiff, Md. Asri Ngadi, Abu Bakar Abdul Hamid, M. S. S. Omar, Muhammad Mahadi Abdul Jamil:
Spatio-temporal Application for Collaborative Issues in Bioinformatics Datasets. 862-865 - (Withdrawn) Application of the Fuzzy Image Processing Based on Wavelet Optics. 866-869
- Lei Zhang, Xue-Fei Zhang, Yinping Liu:
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 - Weidong Chen, 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 - Tao Luo, Suying Yao, Zaifeng Shi, Peng Gao:
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 - Huaqing Mao, Fuling Bian:
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 - Yong Zhang, Baocai Yin, Dehui Kong, Guangwei Yang:
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, Yuefan Deng, 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 - Xiaoxi He, Leiting Chen:
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 - Hongyan Quan, Changbo Wang, Junjuan Lin:
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 - Chun Wang, Ge Chen, Yanyan Liu, 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 - Xuguang Wang, Fuchao Wu, Zhiheng 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 - Shuai Zhang, Guoxin Tan, Bo Liang, Fanggang Hu:
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 - Hong Duan, Haiying Zhang:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
