CSIE 2009: Los Angeles, California, USA - Volume 7

Other Applications of Multimedia and Signal Processing

• Xiaofei Li:
  A New Fast Hybrid Algorithm of Background Extraction Suitable for the DSP Platform. 1-4
  
• Yi Liu, Lei Wei, Peng Wang:
  Regional Style Automatic Identification for Chinese Folk Songs. 5-9
  
• Fei Liu, Fan Zhang, Hui Fang, Weijun Zhou, Yong He:
  Determination of Total Amino Acids in Oilseed Rape Leaves Using Near Infrared Spectroscopy and Chemometrics. 10-13
  
• Xiao Hu Liu, Yu Wen Wu:
  A 3D Display System for Cloth Online Virtual Fitting Room. 14-18
  
• Chunting Yang, Lian Zhao, Zaiyi Liao:
  Spatial-Temporal Distortion Metrics for Video. 19-23
  
• Gen-Yuan Zhang:
  Abnormal Noise Detection Method Based on Wavelet Filter and K-L Information. 24-29
  
• N. A. Md. Norani, W. Mansor:
  Multimedia System Design Illustrating the Operation of Doppler Ultrasound Fetal Monitor in Extracting Cardiac Information. 30-33
  

Other Topics in Multimedia and Signal Processing

• Guang-lin He, Li Lao:
  The Multi-vision Method for Localization Using Modified Hough Transform. 34-37
  
• Xiao-ping Tao, Huajun Feng, Hua Lei, Zhi-hai Xu, Qi Li:
  The Influence of Noise on the Restoration of Diffraction-Limited Images. 38-42
  
• Ren Yuan, Wei Hui:
  3D Information Acquisition from Rectangles and Circles in Single Images. 43-47
  
• Dan Zeng, Zhijiang Zhang, Yimin Cheng, Sujuan Huang:
  Anatomy-Based Modeling, Muscle-Based Animating and Math-Based Representing of Human Eyes. 48-52
  
• Yuan-Hua Liu, Qi-Hua Yang, Hong-Fei Shi:
  Pulse Feature Analysis and Extraction Based on Pulse Mechanism Analysis. 53-56
  
• Zhangli Lan, Minglan Sheng:
  Generalized Structuring Element and Expended Morphological Filtering. 57-61
  
• Xiao-Jun Liu, Xian-Feng Li, Wan-Sheng He, San-Fu Wang:
  Full State Hybrid Projective Synchronization in a Volume-Conserving System. 62-65
  
• Junguo Zhang, Wenbin Li, Xueliang Zhao, Xiaodong Bai, Chen Chen:
  Simulation and Research on Data. 66-70
  
• S. S. Chowhan, G. N. Shinde:
  Evaluation of Statistical Feature Encoding Techniques on Iris Images. 71-75
  
• Qi Sun, Jinguo Yao, Junyu Niu:
  Contextual Concept Language Model for Answering Biomedical Questions. 76-80
  
• Qiong Li, Minqiang Guo:
  Digital Recordable Integrated Television Based on Embedded Linux Operating System. 81-84
  
• Shu-xu Jing, Wu Zhao, Zhi-yong Huang:
  Segmenting Single Actions from Continuous Captured Motion Sequences. 85-89
  
• Cheng-Hsiung Hsieh, Po-Chin Huang:
  Adaptive Rank Order Filter for Image Noise Removal. 90-94
  
• Jingdong Chen:
  The Research Based on the Stochastic Petri Net of the Importance of the Relationship Benefits. 95-99
  

Pattern Recognition

• Nina Zhou, Wee Ser, Zhu Liang Yu, Jufeng Yu, Huawei Chen:
  Enhanced Class-Dependent Classification of Audio Signals. 100-104
  
• Weiwen Zou, Guocan Feng:
  ROI Image Retrieval Based on the Spatial Structure of Objects. 105-110
  
• Abdelhak Mahmoudi, Fakhita Regragui:
  Welding Defect Detection by Segmentation of Radiographic Images. 111-115
  
• Quansheng Jiang, Minping Jia:
  Supervised Laplacian Eigenmaps for Machinery Fault Classification. 116-120
  
• Hong Song, Lianjun Hu, Xiaohui Zeng:
  Research on Path Planning for the Mobile Intelligent Robot. 121-124
  
• Gang Wang, Gui-zhen Chen, Shen Zhang:
  Study on NN in Coal Mine Wireless Sensor Networks Link Communication Quality Measurement. 125-129
  
• Zhijie Xu, Jianqin Zhang, Xiwu Dai:
  Boosting for Learning a Similarity Measure in 2DPCA Based Face Recognition. 130-134
  

Remote Sensing

• Wenling Liu, Xiaoshen Zheng, Xiang Ao, Jing Wang:
  Research on Inversion Methods of Chlorophyll Concentrations in Bohai Sea. 135-138
  
• Yong-hua Xia, Yuan-min Fang, Xiang-ying Yang, Jie Chen, Xiao-qing Zuo:
  Error Analysis and Calibration of 3D Laser Scanner in Surveying in Finished Stopes. 139-143
  
• Liguo Wang, Luqun Deng, Ming Lei:
  Hyperspectral Imagery Classification Aiming at Protecting Classes of Interest. 144-147
  
• Liguo Wang, Jing Zhang, Luqun Deng:
  Spectral Unmixing Technique Based on Flexibly Selected Endmembers. 148-151
  

Representation and Transforms

• Fangzhen Li, Zhi Gong, Xiao-Hong Shen, Nian Cai:
  A Fast Algorithm of Image Layer-Presentation. 152-157
  
• Xuefang Zhu, Shuyi Zhang:
  An Approach for Realization Structure of DWT Using Digital Filters. 158-162
  

Segmentation

• Shuai-jie Li, Jin-ping Song, Xue-Cheng Tai:
  An Algorithm of Texture Image Segmentation by Piecewise Constant Level Set Method Based on Image Decomposition. 163-168
  
• Delong Zhou, Junbin Zong:
  Minimum Error Thresholding Based on Two Dimensional Histogram. 169-175
  

Sensor Array and Multi-channel Systems

• Feng Lv, Hailian Du, Zhanfeng Wang, Tao Xin:
  The Study of the Fusion Estimation and the Fault Diagnosis Method Based on Multi-speed Sensor. 176-180
  
• Pietro Burrascano, A. Pirani, Marco Ricci:
  Exploiting Pseudo Orthogonal PN-Sequences for Ultrasonic Imaging System. 181-185
  

Signal Modeling, Identification and Prediction

• Ning Cao, Hao Lu, Jurong Hu, Fei Wang:
  Efficient SAR Raw Data Simulation Based on Parallel Computation in Hybrid Domain. 186-190
  
• Jin-Suo Lu, Ting-Lin Huang, Chun-yan Wang:
  Data Mining on Source Water Quality (Tianjin, China) for Forecasting Algae Bloom Based on Artificial Neural Network (ANN). 191-195
  
• Zhishan Liang, Zhengxian Xie, Xueliang Wei, Huaguang Zhang:
  Computer Control Design of Active Power Filter Based on the Energy Shaping Control Principle. 196-200
  
• Zunyi Wang, Fei Liu, Yong He:
  Comparison and Determination of Acetic Acid of Plum Vinegar Using Visible/Near Infrared Spectroscopy and Multivariate Calibration. 201-204
  
• Askar Hamdulla, Guiying Xiang, Dilmurat Tursun:
  A Particle Filter and Fuzzy Clustering Based Algorithm for Tracking Dim Moving Multiple Point Targets in IR Image Sequence. 205-209
  
• Hanming Huang, Rui Li, Shijun Lu, Yin Ju Bian:
  Discrimination of Earthquakes and Explosions Using Chirp-Z Transform Spectrum Features. 210-214
  
• ChengFei Li, DeMing Zuo:
  Fuzzy Multi-objective Particle Swarm Optimization Algorithm Using Industrial Purified Terephthalic Acid Solvent Dehydration Process. 215-219
  

Speech and Language Processing

• Hong Cao, Jia Liu, Weiwei Zhang:
  A Combined De-correlation Method for Acoustic Feedback Cancellation in Hearing Aids. 220-224
  
• Xia Mao, Lijiang Chen, Liqin Fu:
  Multi-level Speech Emotion Recognition Based on HMM and ANN. 225-229
  
• Jiuchun Ren, Dilin Mao, ZhiWei Wang, Chuanshan Gao:
  The Effect of Packet Delay on Voip Speech Quality: Failure of Hurst Method. 230-234
  
• Zhao Kun:
  An Analysis of Information Technology in Promoting College Students' Foreign Language Implicit Learning in China. 235-238
  
• Huili Wang, Hongjun Chen, Wenyu Liu, Jian Li, Yan Hou:
  Neural Bases of Asymmetric Language Switch in Second-Language Learners: An ERP Study. 239-242
  
• Wushour Silamu, Nasirjan Tursun:
  HMM-Based Uyghur Continuous Speech Recognition System. 243-247
  
• Jianfeng Zou, Wei Shen:
  A Moving-Window Based Audio Mixing Algorithm. 248-251
  
• Welly Naptali, Masatoshi Tsuchiya, Seiichi Nakagawa:
  Language Model Based on Word Order Sensitive Matrix Representation in Latent Semantic Analysis for Speech Recognition. 252-256
  
• A. Revathi, Y. Venkataramani:
  Text Independent Composite Speaker Identification/Verification Using Multiple Features. 257-261
  

Statistical Signal Processing

• Jihua Cao, Jing Liu:
  A New Algorithm of Blind Source Separation Based on ICA. 262-265
  
• Yun Chen, Huirong Zhang, Ping Zhu:
  Study of Customer Lifetime Value Model Based on Survival-Analysis Methods. 266-270
  

Watermarking and Authentication

• Xiao Zeng, Zhenyong Chen, Hui Chen, Shuo Zhang, Zhang Xiong:
  Drift Compensation in Compressed Video Reversible Watermarking. 271-275
  
• Zhicheng Wei, Puping Zhang, Changguang Wang:
  Image Watermarking Based on an Improved Subsampling Framework. 276-279
  
• Jianhong Sun, Junsheng Li, Zhiyong Li:
  An Improved Algorithm of Digital Watermarking Based on Wavelet Transform. 280-284
  
• Li Liu, Xiaoju Li, Peng Li:
  Diversity Technique Based Secure Video Watermarking for Broadcast Monitoring. 285-289
  
• Bin He, Yuqian Wu, Kai Kang, Wei Guo:
  A Robust Binary Text Digital Watermarking Algorithm for Print-Scan Process. 290-294
  

Software Engineering Symposium

Distributed/Parallel Software Systems

• Shunzhi Zhu, Keshou Wu, Tao Li:
  Research on Distributed Database Application for Integrated Urban Underground Pipelines. 295-299
  
• Anthony Burrell, Panayota Papantoni-Kazakos:
  Detecting Software Faults in Distrubted Systems. 300-304
  
• Hao Peng, Lirong Wang, Jiacai Wang, Ichiro Hagiwara:
  Design and Implement of File Linked Distributed File System. 305-309
  
• Yuan Chen, Liang Li, Guanglei Gou:
  User Model's Realization of the Personalized Service of Digital Library. 310-314
  
• Ang Tan Fong, Ling Teck Chaw, Phang Keat Keong, Por Lip Yee:
  Automatic Web Services Deployment. 315-319
  
• Justin Y. Shi:
  High Performance Lossless ESB Architecture with Data Protection for Mission-Critical Applications. 320-324
  

Embedded and Real-Time Software

• Guanghao Shen, Kangning Xie, Lihua Lu, Qiaoling Xu, Xiaoming Wu, Erping Luo, Zheng Chang:
  Design and Application of a Digital Filter of Mains Frequency. 325-327
  
• Ning Fei, Chunling Chen:
  Optimizing YAFFS2 for Small-Sized NAND Device. 328-330
  
• Ho-Ling Fu, Jen-Chieh Su:
  Optimization Real Time Parametric Simulation of Light Wind Turbine. 331-335
  
• Xiao Li, Yu-An Tan:
  TPL: A Data Layout Method for Reducing Rotational Latency of Modern Hard Disk Drive. 336-340
  
• Dun-fan Ye, Fei-fan Zhou, Liang-liang Min:
  Design and Implementation of High-Precision Timer in Linux. 341-345
  

Human-Computer Interaction

• Jhing-Fa Wang, Gung-Ming Chang, Jia-Ching Wang, Shun-Chieh Lin:
  Stress Detection Based on Multi-class Probabilistic Support Vector Machines for Accented English Speech. 346-350
  
• Wei-Dian Lai, Fu-Kuang Yeh:
  Modeling Performances of Virtual Channels for Cochlear Implant Systems. 351-355
  
• Jyh-Da Wei, Tai-Yu Chen, Tsai-Yeh Tung, D. T. Lee:
  Integration of a Concept Map Generator and a Knowledge-Portal-Based E-learning System. 356-360
  
• Yufeng Ding, Hao Xiao, Buyun Sheng:
  Multi-user Stream Turbine Virtual Maintenance Training System Based on Network. 361-365
  
• Ruifeng Yu, Gaofeng Wu:
  Association of Colors with Software Operations. 366-368
  
• Stefano Federici:
  Long-standing User Interfaces: Hyper- and Multi-version Applications. 369-373
  
• Taeyoung Jung, Siyoung Yang, Jechang Jeong:
  Multi-directional Demosaicing for Digital Still Cameras. 374-378
  
• Jifeng Xu, Hanning Zhang, Yunzhu Chen:
  The Analysis on the Design of 3D Graphic Software Icons. 379-385
  

Internet and Information Systems Development

• Jingfeng Shao, Yonggang Li, Bo Li, Songtao Liu, Lanshuang Qin:
  Design of Manufacturing Execution System Oriented to Spinning Workshop. 386-390
  
• Hongxun Jiang, Zongbin Li:
  Architecture Model of Enterprise Computing Networks Based on SNA Methodology. 391-396
  
• Ramon R. Palacio, Alberto L. Morán, Victor M. Gonzalez, Aurora Vizcaíno:
  Providing Support for Starting Collaboration in Distributed Software Development: A Multi-agent Approach. 397-401
  
• Hu Jun, Wang Bai-yun, Charlotte Batamuliza:
  LPRF: A Layered Policy Representation Framework. 402-406
  

Knowledge-Based Software Engineering

• Zhang Zheng, Zhu Shu:
  A New Approach to Word Sense Disambiguation in MT System. 407-411
  
• Hong-fei Zhan:
  Grid Based Product Collaborative Design of Home Textile Industry. 412-416
  
• Yong-xia Wei, Na Li, Lijun Chen:
  Study on the High-Dimension Non-linear Index Model GWS(n, m) for Soil Erosion Simulation and Its Parameters Identification Method. 417-421
  

Other Topics in Software Engineering

• Fatemeh Sheikhha, Hadi Tabatabaee Malazi, Roya Amjadifard:
  Adaptive Parasitized El Farol Bar Problem. 422-426
  
• Min-qing Gong, Pei Wang, Lin-bo Fan, Ming Zhao:
  Research on Axiom System and transition Rules of Software Reliability and Safety. 427-431
  
• Olga Ormandjieva, Victoria Mikhnovsky:
  Enterprise Integration Performance Modeling and Measurement Based on Category Theory. 432-437
  
• Clara Murdaca:
  An Object-Relational Compiler. 438-442
  
• Jiseong Oh, Woongee Kim, Woohyong Lee, Youngki Chung:
  Scalable RTOS for SoC Platform Environments. 443-447
  
• Lei Song, TianFang Liu, Jiahui Huang, HaiPeng Li, XiaoJun Zhang:
  Autocorrelation Smooth Method for Stochastic Media Tomography. 448-453
  
• Hang Su, Husheng Liao:
  A Two-Phase Binding-Time Analysis in Partial Evaluation for XQuery. 454-461
  
• Hsien-Lun Wong, Yi-Hsien Tu, Chi-Chen Wang:
  An Evaluation of Comparison between Multivariate Fuzzy Time Series with Traditional Time Series Model for Forecasting Taiwan Export. 462-467
  
• Xiao-dong Feng, Jian-hua Jiang:
  Study on the ANP and DEAs Quantitative Evaluation Method for the Product Innovation Supplier in Supply Chain. 468-472
  
• Anupam Shukla, Ritu Tiwari, Sourabh Rungta, M. Sunil Kumar:
  A New Heuristic Channel Assignment in Cellular Networks. 473-478
  
• Zhen Xu, Jizhou Sun, Ce Yu, Huabei Wu, Xiaojing Meng, Shanjiang Tang:
  A Visual Model-Driven Rapid Development Toolsuite for Parallel Applications. 479-483
  

Program Comprehension and Visualization

• Run-yang Zhong, Qingyun Dai, Ke Zhou:
  Plug-Universal Database-Aided Program Design. 484-487
  
• Rahul Ballal, Michael A. Hoffman:
  Extending UML for Aspect Oriented Software Modeling. 488-492
  
• Weimin Wu, Yongfeng Cao, Baocai Chen, Qing Su, Kailun Li:
  AnyviewC: A Visual Practice Platform for Data Structures Course. 493-497
  
• Bo Hu:
  Research for Object-Oriented Billing. 498-502
  

Reverse Engineering and Maintenance

• Stefan Andrei:
  Parallel Parsing-Based Reverse Engineering. 503-507
  

Software Architecture and Design

• Yuan Yao, Guangwen Lu, Qingxi Hu:
  An Enterprise Ontology Model for Web Services of Web-Based Manufacturing. 508-512
  
• Chie-Chi Chao, Chun-Yen Lin:
  Real-Time Designing Software for the Sewing Path Design on the Broidery Industry. 513-517
  
• Wei Guo, Zhong-Wei Xiong, Ren-Zuo Xu:
  Metrics of Graph Abstraction for Component-Based Software Architecture. 518-522
  
• Jiankuan Xing, Zheng Qin, Xiang Zheng:
  Towards Linda-Based Decentralized Collaborative Applications by an Architecture Approach. 523-529
  
• Juanjuan Yan, Bo Chen, Xiu-e Gao, Le Wang:
  Research of Structure Integration Based on Struts and Hibernate. 530-534
  
• Hongbo Sun, Tianyuan Xiao, Shucai Tang:
  Research on Federation-Based Pragmatic Integration Framework. 535-539
  
• Hu Niu, Wei Guan, Jihui Ma:
  Design and Implementation of Bus Monitoring System Based on GPS for Beijing Olympics. 540-544
  
• Xiaoyan Lu:
  The New Mode of the Construction of Advertising Course Based on Distance Education: The Research of the Exploitation of the Network Course of the . 545-549
  
• Yu-Wei Wei, Kai-Ping Feng:
  Improve the Service Quality of Dynamic Benefit-Driven Software with OSGi. 550-554
  
• Hailong Huang, Fei Liu, Qifeng Wang:
  Research on Dynamic Reconfigurable Manufacturing Process Model Based on Model Driven Architecture. 555-559
  
• Mohammad Alanazi, David Gustafson:
  Super State Analysis for UML State Diagrams. 560-565
  
• Ashirul Mubin, Daniel Ray, Rezwanur Rahman:
  Architecting an Evolvable System by Iterative Object-Process Modeling. 566-570
  

Software Components and Reuse

• Huaiyan Gao, Guoan Zhao:
  Research and Design of General Module about Enterprise Information Systems. 571-574
  
• Gangyan Li, Jian Hu, Duanfeng Chu, Jun Xu:
  Design on the Higher Layer Protocol of City-Bus Information Integrated Control Network Based on Embedded Component. 575-579
  
• Quan Liang Chen, Takao Shimomura, Kenji Ikeda:
  Customizable Functional Web Components for Visual Web Programming. 580-584
  
• ZheMin Chen, Lingsong He:
  The Software Breadboard Technique of Virtual Instrument. 585-589
  
• Hajar Mat Jani, Sai Peck Lee:
  Implementing Case-Based Reasoning Approach to Framework Documentation. 590-594
  
• Nitin Upadhyay, Bharat M. Deshpande, Vishnu P. Agarwal:
  MACBSS: Modeling and Analysis of Component Based Software System. 595-601
  

Software Dependability, Safety, Privacy and Reliability

• Jianqi Zhu, Yan-heng Liu, Ke Yin, Ke-xin Yin:
  A Robust Dynamic Watermarking Scheme Based on STBDW. 602-606
  
• Meng Li, Xianzhong Zhou, Yingying Zhu:
  An Ontology-Based Identification Framework for Distrustable Factors. 607-611
  
• Shu-qing Hao, Hong-wei Huang, Yong Yuan:
  Fire Evacuation of Underground Tunnel Based Building EXODUS. 612-615
  

Software Engineering for Mobile, Ubiquitous and Pervasive Systems

• Chunling Yang, Man Yuan, Jianwei Niu:
  A Light Mobile GIS Framework Based on Mobile SVG. 616-619
  
• Liu Xia, Huang Qi, Chen Yong:
  Model Checking of Wireless Transaction Protocol. 620-623
  

Software Metrics

• Song Gao, Chunping Li:
  Complex Network Model for Software System and Complexity Measurement. 624-628
  
• Siwei Peng, Limin Shen, Hiu Liu, Feng Li:
  User-Oriented Measurement of Software Flexibility. 629-633
  
• Zhuozhi Chen, Rob Pooley:
  Domain Modeling for Enterprise Information Systems - Formalizing and Extending Zachman Framework Using BWW Ontology. 634-643
  
• Panos Fitsilis:
  Measuring the Complexity of Software Projects. 644-648
  

Software Processes and Workflows

• Syamsul Bahrin Zaibon, Norshuhada Shiratuddin:
  Towards Developing Mobile Game-Based Learning Engineering Model. 649-653
  
• Hongyun Yu, Xiaohong Bao, Shunkun Yang:
  Research and Improvement of Team Software Process. 654-658
  
• Gautham Reddy:
  Designing Software Project Management Models Based on Supply Chain Quality Assurance Practices. 659-663
  
• Zhaoxia Wang, Jianmin Wang, Lijie Wen, Yingbo Liu:
  Extracting Real-Life Log with Data Perspective in PLM System for Business Process Analysis. 664-668
  
• Rui Han, Yingbo Liu, Lijie Wen, Jianmin Wang:
  Probability Timing Constraint WF-Nets and Their Application to Timing Schedulability Analysis of Workflow Management Systems. 669-673
  
• Ali Niknafs, Mohsen Asadi:
  Towards a Process Modeling Language for Method Engineering Support. 674-681
  
• Shaohua Zhang, Zhigang Ding, Yuwei Zong:
  ITIL Process Integration in the Context of Organization Environment. 682-686
  
• Mohamad Kassab, Olga Ormandjieva, Maya Daneva:
  A Metamodel for Tracing Non-functional Requirements. 687-694
  

Software Requirements

• Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma:
  Concern Based Approach to Generating SCR Requirement Specification: A Case Study. 695-700
  
• Esmaeil Kheirkhah, Aziz Deraman, Zahra Sadri Tabatabaie:
  A Framework for Requirements Engineering in End-User Computing. 701-705
  
• YuNing Pu, Qiang Liu:
  A Viewpoint-Oriented Requirements Elicitation Integrated with Aspects. 706-711
  
• Po-Hsun Cheng, Ying-Pei Chen, Jin-Shin Lai:
  An Interflow System Requirement Analysis in Health Informatics Field. 712-716
  

Software Testing and Analysis

• Guozhu Liu:
  Consistent Verification of Scenarios-Based Requirement Specification. 717-721
  
• Lianfa Li, Hareton Leung:
  Using the Number of Faults to Improve Fault-Proneness Prediction of the Probability Models. 722-726
  
• Yongfeng Yin, Bin Liu, Bentao Zheng:
  On Test Script Technique Oriented Automation of Embedded Software Simulation Testing. 727-732
  
• Jianmin Chen, Hui Shu, Xiaobing Xiong:
  Ewap: Using Symbolic Execution to Exploit Windows Applications. 733-738
  
• Xue-Mei Liu, Guochang Gu, Yong-Poi Liu, Ji Wu:
  Research and Implementation of Knowledge Management Methods in Software Testing Process. 739-743
  
• Luo Xu, Ji Wu, Chao Liu:
  T3FAH: A TTCN-3 Based Fuzzer with Attack Heuristics. 744-749
  
• Fan Lin, Wenhua Zeng, Guowu Chen, Yi Jiang:
  The Embedded Product Testing Using Cleanroom Statistical Method. 750-754
  
• C. Q. Fu, X. Y. Jin, N. G. Jin:
  Numerical Experiment on Flexural Properties of Steel Fiber Reinforced Concrete Beam. 755-759
  

Software Tools and Development Environments

• Takao Shimomura, Kenji Ikeda, Muneo Takahashi:
  Web-Based Troubleshooter Generation for System Administration. 760-764
  
• Guoguang Zhang:
  LPSPS: A New Linear Programming Program. 765-769
  
• Ogunleye Olalekan Samuel, Gary Marsden:
  Supporting Mobile Applications Developer through a Java IDE Using Contextual Inquiry. 770-774
  
• Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim, C. Robert Carlson:
  MDD Based CASE Tool for Modeling Heterogeneous Multi-jointed Robots. 775-779
  
• M. D. Sarder, Sumanth Yenduri:
  Production Design by Simulation Software . 780-786
  
• Mark Burgin:
  From Craft to Engineering: Software Development and Schema Theory. 787-791
  

Theory and Formal Methods

• Zining Cao:
  Distributed Viewpoint Equivalences for Higher Order Processes. 792-796
  
• Ray Toal, Derek Smith:
  Convention-Based Syntactic Descriptions. 797-801
  
• Xiaohui Xu, Linpeng Huang, Xin Wang:
  Formalism for Safe Component Upgrades. 802-806
  
• Mao Zheng, Olga Ormandjieva:
  Reliability Analysis in the Early Development of Real-Time Reactive Systems. 807-812
  
• Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu:
  Formal Modeling and Analyzing Kerberos Protocol. 813-819
  
• Xiaoyong Mei, Aijun Jiang, Fudan Zheng, Shixian Li:
  Execution Semantics Analysis Based Composition Compensation Mechanism in Web Services Composition. 820-824
  
• Hua Li, Xinming Ye, Chengyong Wu, Chengbao Hang, Lingling Wang:
  Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing. 825-829
  
• Benjapol Auprasert, Yachai Limpiyakorn:
  Structuring Cognitive Information for Software Complexity Measurement. 830-834
  
• Xianli Jin, Xi Shao:
  The Formal Model of Real-Time Service Components Composition Based on DCValid. 835-839
  
• Yi Zhang, Zongbin Li, Liping Zhao:
  Automatic Generation Method of Assembly Tolerance in Large-Scale Assembly Design. 840-845
  
• Zhongxiao Zhao, Chen Min:
  An Innovative Bucket Sorting Algorithm Based on Probability Distribution. 846-850
  

Last update Tue May 22 04:49:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page