Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCSIE 2009: Los Angeles, California, USA - Volume 7
- Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri:
CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. IEEE Computer Society 2009, ISBN 978-0-7695-3507-4
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 - Xiaohu 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, Wahidah 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, Zhiyong 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 - Jinsuo Lu, Tinglin Huang, Chunyan 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, P. 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 - Tan Fong Ang, Ling Teck Chaw, Keat Keong Phang, Lip Yee Por:
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, Víctor M. González, Aurora Vizcaíno:
Providing Support for Starting Collaboration in Distributed Software Development: A Multi-agent Approach. 397-401 - Jun Hu, Bai-yun Wang, 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, Yanheng 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 Po 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
a service of 
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 2024-04-22 21:14 CEST 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:
