CSDL - Proceedings F

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xiii

Preface (PDF)

pp. xiv-xv

Conference Organization (PDF)

pp. xvi-xvii

Technical Program Committee (PDF)

pp. xviii-xxiii

Message from the FCST 2009 Workshop Chairs (PDF)

pp. xxiv

Message from the Organizers of the 2009 International Workshop on Security Virtual Computing Environment (PDF)

pp. xxv

Message from the Organizers of the First International Workshop on Security Engineering Environment (PDF)

pp. xxvi

Message from the Organizers of the 2009 International Workshop on Wireless Computing and Networking (PDF)

pp. xxvii

Message from the Organizers of the International Workshop on Pervasive Service Computing and Applications (PDF)

pp. xxviii

Message from the Organizers of the 2009 International Workshop on Frontier of Secure Networks (PDF)

pp. xxix

Workshop Executive and Program Committees (PDF)

pp. xxx-xxxiii

Keynote Speech Abstracts (PDF)

pp. xxxiv-xxxix

One Multi-level Data Acquisition Strategy for Parallel Pre-stack Kirchhoff Depth Migration (Abstract)

Jianjiang Li

Lin Yan

Dan Hei

Lei Zhang

pp. 3-8

PDF

A Study on the Preprocessing of MLFMA Parallel Computation (Abstract)

Hu Yue

pp. 9-13

PDF

A Systemic Strategy for Tuning Intra-node Collective Communication on Multicore Systems (Abstract)

Fen Xu

pp. 14-21

PDF

Formal Approach for Performance Analysis Oriented Parallel System Design (Abstract)

Ying Li

pp. 22-26

PDF

Investigation of Factors Impacting Thread-Level Parallelism from Desktop, Multimedia and HPC Applications (Abstract)

Yaobin Wang

Hong An

Jie Yan

Qi Li

Wenting Han

Li Wang

Gu Liu

pp. 27-32

PDF

A Program Behavior Study of Block Cryptography Algorithms on GPGPU (Abstract)

Gu Liu

Hong An

Mu Xu

pp. 33-39

PDF

A Resource-Efficient System for Measuring Flow Length Distribution (Abstract)

Hong Ye

pp. 40-44

PDF

A Distributed Algorithm to Enumerate All Maximal Cliques in MapReduce (Abstract)

Bin Wu

pp. 45-51

PDF

Infiniband-Based Multi-path Mesh/Torus Interconnection Network for Massively Parallel Systems (Abstract)

Yi Liu

pp. 52-58

PDF

A Heuristic Approach with Branch Cut to Service Substitution in Service Orchestration (Abstract)

pp. 59-67

PDF

Communication Latency Tolerant Parallel Algorithm for Particle Swarm Optimization (Abstract)

Bo Li

Koichi Wada

pp. 68-74

PDF

High Performance and Parallel Model for LU Decomposition on FPGAs (Abstract)

Yi Shao

pp. 75-79

PDF

A Random-Walk-Based Dynamic Tree Evolution Algorithm with Exponential Speed of Convergence to Optimality on Regular Networks (Abstract)

Keqin Li

pp. 80-85

PDF

Performance Evaluation of Mobile Service Design Paradigm in Ubiquitous Computing Environments (Abstract)

Songqiao Han

Yong Zhang

pp. 89-95

PDF

An Improved Approach to Tag Reduction on Low Power CMP with Trade-Off of Energy and Performance (Abstract)

Long Zheng

Mianxiong Dong

Hai Jin

Minyi Guo

Li Li

pp. 96-102

PDF

Research on Hierarchical P2P Based RFID Code Resolution Network and Its Security (Abstract)

pp. 103-111

PDF

A Decentralized Cooperative Autonomic Management Model in Grid Systems (Abstract)

Jiangfeng Li

Chenxi Zhang

pp. 112-118

PDF

A Markov Chain Based Resource Prediction in Computational Grid (Abstract)

Shi Lili

Yang Shoubao

Guo Liangmin

Wu Bin

pp. 119-124

PDF

ScudOSGi: Enabling Facility-Involved Task Migration in OSGi Framework (Abstract)

pp. 125-131

PDF

Development of General-Purpose Processing Element and Network-Based Dataflow Processing System: Part One (Abstract)

pp. 135-141

PDF

Development of General-Purpose Processing Element and Network-Based Dataflow Processing System: Part Two (Abstract)

pp. 142-148

PDF

Network-Based Data Flow Processing System with Variable Data Granularity for Inter-module Communication (Abstract)

pp. 149-155

PDF

The Application of the Adaptive Multi-mode Interactive Interface Based on Embedded Equipments (Abstract)

Ying Li

pp. 156-160

PDF

Emergency Software Maintenance for Individual Industrial Equipments (Abstract)

pp. 161-167

PDF

Efficient VLSI Architecture for Fuzzy C-Means Clustering in Reconfigurable Hardware (Abstract)

pp. 168-174

PDF

Mining Interesting Rules by Association and Classification Algorithms (Abstract)

pp. 177-182

PDF

Optimization of Data Retrievals in Processing Data Integration Queries (Abstract)

Jia Liu

Yongwei Wu

Guangwen Yang

pp. 183-189

PDF

A Tree-Based Hierarchy Framework for RFID Data Repository (Abstract)

pp. 190-196

PDF

Reputation-Aware Scheduling for Storage Systems in Data Grids (Abstract)

Wei Liu

Wei Du

pp. 197-202

PDF

CWC: Compressed Write Cache for Improving Storage System Performance (Abstract)

Suzhen Wu

Dan Feng

Bo Mao

pp. 203-209

PDF

Combinatorial Auctions Based Network Resource Allocation Mechanism with High Welfare (Abstract)

Bei Jin

pp. 213-218

PDF

Automatic Data Extraction from Web Discussion Forums (Abstract)

Suke Li

pp. 219-225

PDF

Flexible Data Collecting over Distributed Sensors on Enterprise Service Bus (Abstract)

Jing Cao

pp. 226-230

PDF

Analysis of the Availability of Composite Web Services (Abstract)

Tao Hu

pp. 231-237

PDF

Wavelet Image Restoration and Regularization Parameters Selection (Abstract)

Leming Qu

pp. 241-247

PDF

Shearlet-Based Adaptive Bayesian Estimator for Image Denoising (Abstract)

Chengzhi Deng

Hui Sun

Xi Chen

pp. 248-253

PDF

Image Denoising Algorithm Using Adaptive Shrinkage Threshold Based on Shearlet Transform (Abstract)

Xi Chen

Hui Sun

Chengzhi Deng

pp. 254-257

PDF

A Depth-Based TDMA Scheduling for Clustering Sensor Networks (Abstract)

pp. 261-266

PDF

A Storage Node Placement Algorithm in Wireless Sensor Networks (Abstract)

pp. 267-271

PDF

TCLA: A Triangular Cross-Layer Architecture for Wireless Sensor Networks (Abstract)

Daidi Lin

Shining Li

pp. 272-278

PDF

Optimizing the Path-Points Identification for Data Mules in Mobile WSNs (Abstract)

pp. 279-284

PDF

Mobile Robot Position Identification with Specially Designed Landmarks (Abstract)

pp. 285-291

PDF

A Realistic Interference Model in Ad Hoc Networks (Abstract)

pp. 292-297

PDF

An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software (Abstract)

pp. 301-307

PDF

CURRF: A Code-Based Framework for Faithful Replay Distributed Applications (Abstract)

pp. 308-316

PDF

A Chu Spaces Semantics of BPEL-Like Fault Handling (Abstract)

pp. 317-323

PDF

Intrusion Detection Using Geometrical Structure (Abstract)

Ren Liu

pp. 327-333

PDF

Analysis and Research on the Security Key Technology of Grid (Abstract)

Zhang Longjun

pp. 334-338

PDF

Security for Resource Allocation Based on Trust and Reputation in Computational Economy Model for Grid (Abstract)

pp. 339-345

PDF

Indirect Disclosures in Data Mining (Abstract)

Renren Dong

Ray Kresman

pp. 346-350

PDF

Comments on Kang-Park's Security Scheme for Fast Handover in Hierarchical Mobile IPv6 (Abstract)

pp. 351-355

PDF

Optimizing Method for Analog Circuit Design Using Adaptive Immune Genetic Algorithm (Abstract)

Haiqin Xu

Yongsheng Ding

pp. 359-363

PDF

Siti Maryam Hj Shamsuddin

The Application of Genetic Algorithm into Membership Function FLC Used Floating Point (Abstract)

Ismail Yusuf

Nanna Suryana Herman

pp. 364-370

PDF

A Fuzzy Clustering Algorithm with Effectiveness Factor (Abstract)

pp. 371-376

PDF

Immune Selection Algorithm-Based User Authentication System (Abstract)

Jun Tang

Xiaojuan Zhao

pp. 377-381

PDF

Mining Data of Buffalo and Cow Production in Egypt (Abstract)

Laila Mohamed El Fangary

pp. 382-387

PDF

Comparison of Heuristic Algorithms to Solving Mesh Network Path Finding Problem (Abstract)

Jacek Kubacki

Leszek Koszalka

Iwona Pozniak-Koszalka

Andrzej Kasprzak

pp. 388-392

PDF

A Chinese Health Care Reform Simulation Method Based on Mechanism Design (Abstract)

Guanqun Liang

Huanye Sheng

pp. 393-398

PDF

A Local Algorithm for Checking Probabilistic Bisimilarity (Abstract)

Yuxin Deng

Wenjie Du

pp. 401-407

PDF

A Framework for Formalizing UML Models with Formal Language Rcos (Abstract)

Jing Yang

pp. 408-416

PDF

Analyzing UML Sequence Diagrams with UTP (Abstract)

Jing Yang

pp. 417-423

PDF

Automatic Refinement of Platform Independent Models Using Graph Transformation System (Abstract)

Sattar Hashemi

M. R. ZadMiralvad

pp. 424-428

PDF

Modeling Software Testing Process Using HTCPN (Abstract)

Bin Zhu

pp. 429-434

PDF

Return Instruction Analysis and Optimization in Dynamic Binary Translation (Abstract)

pp. 435-440

PDF

Structure and Parameter Learning of CDHMM Based on Reduction (Abstract)

A. Vafaei

M. Miralipoor

pp. 441-445

PDF

A Graph Transformation-Based Approach for Applying MDA to SOA (Abstract)

F. Taghizadeh

S. R. Taghizadeh

pp. 446-451

PDF

Research & Implementation of Lightweight ESB with Microsoft .NET (Abstract)

Li JiZhe

Yuan YongJun

pp. 455-459

PDF

Design and Implementation of DSL via Category Theoretic Computations (Abstract)

pp. 460-466

PDF

Design and Implementation of Integrated Transport Network Planning Evaluation System Based on GIS (Abstract)

Dong Li

Youli Lu

pp. 467-472

PDF

Signal Integrity Research of High Speed Circuit of Embedded System (Abstract)

pp. 473-477

PDF

An Embedded Software Architecture for Robot with Variable Structures (Abstract)

pp. 478-484

PDF

The Self-Adaptive Routing Evolution Model's Research about Internetware of Architecture-centric System (Abstract)

pp. 485-491

PDF

A General Fuzzy Modeling Approach to Detection Decision Fusion (Abstract)

pp. 495-501

PDF

A Multi-scale Based Algorithm for Sub-pixel Measurements of Circular Parts (Abstract)

Bing Sun

Guohui Zhou

pp. 502-509

PDF

A New Recursive Approach for Reconstructing Metabolic Networks from KEGG (Abstract)

pp. 510-515

PDF

A Case Study on Human Learning of Four-Dimensional Objects in Virtual Reality: Passive Exploration and Display Techniques (Abstract)

Ranxiao Frances Wang

pp. 519-523

PDF

Extending BPEL to Model Business Processes Involving Human Activities (Abstract)

Jia Chunxin

Lu Chaojun

pp. 524-529

PDF

Design and Implementation of Online Classroom Real-Time Generating and On-Demand System (Abstract)

Dong Li

Youli Lu

pp. 530-536

PDF

Remote Operation System Detection Base on Machine Learning (Abstract)

pp. 539-542

PDF

An Algorithm for Unsplittable Flow Problem in Flexible Reconfigurable Network (Abstract)

pp. 543-547

PDF

EA-CPNsim: A CPN-Based Simulation Platform for Analysis and Defense Design of Internet End-Systems Targeted Attacks (Abstract)

Tao Liu

pp. 548-552

PDF

An Exact Model for Active P2P Worms Propagation (Abstract)

pp. 553-558

PDF

Key Predistribution Based Broadcast Authentication Scheme for Wireless Sensor Networks (Abstract)

Yongsheng Liu

Jie Li

pp. 559-564

PDF

A Novel Energy Efficient Routing Algorithm for Hierarchically Clustered Wireless Sensor Networks (Abstract)

Huang Lu

Jie Li

Guojun Wang

pp. 565-570

PDF

Lookup with CAM Aided Hash Table (Abstract)

pp. 571-575

PDF

Range Matching without TCAM Entries Expansion for Packet Classification (Abstract)

Yang Li

Chengwei Wan

Xiumei Fan

pp. 576-580

PDF

ECHO: Efficient Certificate Updating Scheme by Vehicle-to-Vehicle Communications (Abstract)

pp. 581-586

PDF

A New Security Mechanism for Dynamic Channel Assignment in Wireless Mesh Networks (Abstract)

Yan Xia

pp. 587-592

PDF

Research on Trust Evaluation Model Based on TPM (Abstract)

Wei Ou

pp. 593-597

PDF

HBSP: A Lightweight Hardware Virtualization Based Framework for Transparent Software Protection in Commodity Operating Systems (Abstract)

Miao Yu

Min Zhu

pp. 601-606

PDF

A Database System for Effective Utilization of ISO/IEC 27002 (Abstract)

pp. 607-612

PDF

Trust-Aware Component Service Selection Algorithm in Service Composition (Abstract)

Guiping Dai

Yong Wang

pp. 613-618

PDF

Information Assurance, Privacy, and Security in Ubiquitous Questionnaire (Abstract)

Yuichi Goto

Jingde Cheng

pp. 619-624

PDF

Application of COBIT to Security Management in Information Systems Development (Abstract)

Shoichi Morimoto

pp. 625-630

PDF

Croth: Effective Process Protection and Monitoring with Hardware Virtualization (Abstract)

pp. 633-638

PDF

Self-Checking Tamper-Proofing Based on Software Behavior Model (Abstract)

Dan Li

pp. 639-643

PDF

Mining Association Rules for Intrusion Detection (Abstract)

pp. 644-648

PDF

Decoupling Dynamic Test Generation from Specific Operating System Details Based on Whole System Virtual Machine (Abstract)

Gen Li

Kai Lu

pp. 649-654

PDF

DFHR: A Design Framework for HPC Reliability (Abstract)

Yongqin Huang

pp. 655-660

PDF

ASTVA: Traffic Validation Architecture Based on Autonomous Systems (Abstract)

Wei Wei

pp. 661-665

PDF

An Intrusion Detection Method for Ad Hoc Network Based on Class Association Rules Mining (Abstract)

pp. 666-671

PDF

A CFSM-Based Reprogramming Scheme for Flexible Wireless Sensor Networks (Abstract)

Jun-Zhao Sun

Jiehan Zhou

pp. 675-680

PDF

Grey Model-Enhanced Risk Assessment and Prediction for P2P Nodes (Abstract)

Fu Cai

pp. 681-685

PDF

Pervasive Service Computing toward Accommodating Service Coordination and Collaboration (Abstract)

pp. 686-691

PDF

Formal Approaches to SMS Service Based on Pi Calculus (Abstract)

Qin Li

pp. 692-697

PDF

Towards User-Oriented Application Composition (Abstract)

pp. 698-704

PDF

PSC-RM: Reference Model for Pervasive Service Composition (Abstract)

pp. 705-709

PDF

The Implementation and Design of Electronic Bag Based on ARM (Abstract)

Linyang Sheng

Liming Zhang

pp. 710-714

PDF

Configure Care-of Address for Nested Network Mobility (Abstract)

pp. 717-721

PDF

DCSMS: A Mobicast-Based Dynamic Clustering Secure Mobile Multicast Scheme for Large-Scale Sensornets (Abstract)

pp. 722-727

PDF

A Study on MAC Protocols for Wireless Sensor Networks (Abstract)

pp. 728-732

PDF

A Distributed Cluster-Based Algorithm in Wireless Sensor Networks (Abstract)

Xiaomin Wang

Chao Song

pp. 733-737

PDF

Author Index (PDF)

pp. 738-742

Publisher's Information (PDF)

pp. 744