CSDL - Proceedings D

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xvi

Message from the DASC 2009 Chairs (PDF)

pp. xvii-xviii

DASC 2009 Organizing Committee (PDF)

pp. xix

DASC 2009 Program Committee (PDF)

pp. xx

Message from the PICom-09 Chairs (PDF)

pp. xxi-xxii

PICom-09 Organizing Committee (PDF)

pp. xxiii-xxvii

Message from the UbiSafe-09 Chairs (PDF)

pp. xxviii

UbiSafe-09 Organizing Committee (PDF)

pp. xxix-xxxi

Message from the Routing-09 Program Chairs (PDF)

pp. xxxii

Routing-09 Organizing Committee (PDF)

pp. xxxiii-xxxiv

Message from the SocialNet-09 Program Chairs (PDF)

pp. xxxv

SocialNet-09 Organizing Committee (PDF)

pp. xxxvi-xxxvii

Message from the ACI-09 Chairs (PDF)

pp. xxxviii

ACI-09 Organizing Committee (PDF)

pp. xxxix

Message from the SCC-09 Chairs (PDF)

pp. xl

SCC-09 Organzing Committee (PDF)

pp. xli-xlii

Message from the RIPWASS-09 Chairs (PDF)

pp. xliii

Message from the MMASN-09 Chairs (PDF)

pp. xliv

MMASN-09 Organizing Committee (PDF)

pp. xlv-xlvi

Message from the SmarTel-09 General Chairs (PDF)

pp. xlvii

SmarTel-09 Organizing Committee (PDF)

pp. xlviii-xlvix

Message from the IISHCI-09 Program Chairs (PDF)

pp. l

IISHCI-09 Organizing Committee (PDF)

pp. li

Message from the TMUPS-09 Program Chairs (PDF)

pp. lii

TMUPS-09 Organizing Committee (PDF)

pp. liii

Adaptive Dimensioning of Cloud Data Centers (Abstract)

Wenhong Tian

pp. 5-10

PDF

Formal Analysis of Fault Recovery in Self-Organizing Systems (Abstract)

Jan Calta

Miroslaw Malek

pp. 11-18

PDF

Dependability Analysis for AADL Models by PVS (Abstract)

Lei Luo

pp. 19-24

PDF

Cássio Martini Martins Pereira

Behavioral Study of UNIX Commands in a Faulty Environment (Abstract)

Rodrigo Fernandes de Mello

pp. 25-30

PDF

Verification of a Lock-Free Implementation of Multiword LL/SC Object (Abstract)

Hui Gao

Yan Fu

Wim H. Hesselink

pp. 31-36

PDF

Policy Description Language for Dynamic Access Control Models (Abstract)

pp. 37-42

PDF

Reliability and Dependability Modeling and Analysis of Dynamic Aspects in Complex Systems (Abstract)

Salvatore Distefano

pp. 43-48

PDF

TCBC: Trap Caching Bounds Checking for C (Abstract)

pp. 49-56

PDF

A Rare Feature Recognition Approach Based on Fuzzy ART Neural Networks (Abstract)

Jun Zha

Cong Lu

HongGuang Lv

pp. 57-62

PDF

A Utility-Based Adaptive Resource Allocation Policy in Virtualized Environment (Abstract)

pp. 63-68

PDF

Achieving Information Security in Network Computing Systems (Abstract)

pp. 71-77

PDF

Securing Session Initiation Protocol in Voice over IP Domain (Abstract)

pp. 78-83

PDF

Modeling and Analysis of Self-Reflection Based on Continuous State-Space Approximation of PEPA (Abstract)

pp. 84-89

PDF

Composition Planning for Networked Appliances (Abstract)

Chatchawin Namman

Anirach Mingkhwan

pp. 90-94

PDF

A Dynamic Protection System of Web Server in Virtual Cluster Using Live Migration (Abstract)

pp. 95-102

PDF

Replica Placement in Multi-tier Data Grid (Abstract)

pp. 103-108

PDF

Grey Prediction Control of Adaptive Resources Allocation in Virtualized Computing System (Abstract)

pp. 109-114

PDF

Security Analysis of NSSK Protocol and its Improvement (Abstract)

Liao Junguo

Zhu Bin

He Yong

pp. 115-118

PDF

Evolutionary Design of Relatively Large Combinational Circuits with an Extended Stepwise Dimension Reduction (Abstract)

pp. 119-124

PDF

Research on Secure and Reconfigurable Architecture Based on Embedded Hardware (Abstract)

pp. 127-131

PDF

Low Power Embedded Speech Enhancement System Based on a Fixed-Point DSP (Abstract)

Yu Cai

pp. 132-136

PDF

A Method for Software Security Growth Based on the Real-Time Monitor Algorithm and Software Hot-Swapping (Abstract)

pp. 137-142

PDF

Energy-Efficient Cluster-Based Scheme for Handling Node Failure in Real-Time Sensor Networks (Abstract)

pp. 143-148

PDF

Real Hardware Verification by Software for Bootstrap Using TSC (Abstract)

Kunio Miyamoto

Hidehiko Tanaka

pp. 149-152

PDF

Solving Aircraft-Sequencing Problem Based on Bee Evolutionary Genetic Algorithm and Clustering Method (Abstract)

Siliang Wang

pp. 157-161

PDF

Generating an Approximately Optimal Detector Set by Evolving Random Seeds (Abstract)

pp. 162-168

PDF

Learning Navigation Map on Ontology (Abstract)

Tianying Chen

Hongguang Fu

pp. 169-174

PDF

Semantic Web Services Composition Model Based on Domain Ontology Cost Graph (Abstract)

Chongyun Wu

Jun Wen

pp. 175-178

PDF

An Approach to Multi-issue Active Negotiation Control Algorithm in Multi-stages (Abstract)

Lipeng Wang

Mingjun Xin

pp. 179-182

PDF

A Comparative Study of Medical Data Classification Methods Based on Decision Tree and Bagging Algorithms (Abstract)

pp. 183-187

PDF

Robust and Fast Keypoint Recognition Based on SE-FAST (Abstract)

pp. 188-193

PDF

Pattern Matching with Independent Wildcard Gaps (Abstract)

Fan Min

Xindong Wu

Zhenyu Lu

pp. 194-199

PDF

Toward an Understanding of User-Defined Conditional Preferences (Abstract)

pp. 203-208

PDF

Design and Implementation of a High Resolution Localization System for In-Vivo Capsule Endoscopy (Abstract)

Li Yang

pp. 209-214

PDF

Adaptive Fuzzy Control with Modulated Membership Function Applies to Path Tracking Based on Location System (Abstract)

pp. 215-220

PDF

Design of a Rule Based System Using Structured Query Language (Abstract)

pp. 223-228

PDF

Intelligent Context-Based Adaptation for Spatial Routing Applications in Dynamic Environment (Abstract)

pp. 229-234

PDF

Blog Hotness Evaluation Model Based on Text Opinion Analysis (Abstract)

Yu Weng

pp. 235-240

PDF

A Web Text Filter Based on Rough Set Weighted Bayesian (Abstract)

Yu Wu

Kun She

pp. 241-245

PDF

Measuring the Probability of Correctness of Contextual Information in Context Aware Systems (Abstract)

pp. 246-253

PDF

Cooperative Alert Topic Detection Model in Distributed Environment (Abstract)

Yu Weng

pp. 254-259

PDF

A Comparison of Social Service Selection Techniques (Abstract)

pp. 260-265

PDF

Synthesis and Analysis in Artificial Intelligence: The Role of Theory in Agent Implementation (Abstract)

pp. 266-269

PDF

A Software Agent Based Simulation Model for Systems with Decision Units (Abstract)

Yuan Miao

pp. 270-275

PDF

A Novel Variable-Boundary-Coded Quantum Genetic Algorithm for Function Optimization (Abstract)

pp. 279-285

PDF

On the Linkability and Security Analysis of Two Schnorr-Type Blind Signature Schemes (Abstract)

pp. 286-291

PDF

Cryptanalysis of Two Identity Based Signcryption Schemes (Abstract)

Qi Xia

Chunxiang Xu

pp. 292-294

PDF

Cyber-I: Vision of the Individual's Counterpart on Cyberspace (Abstract)

Jie Wen

pp. 295-302

PDF

Multidimensional Pervasive Adaptation into Ambient Intelligent Environments (Abstract)

pp. 303-308

PDF

Performance Study of RFID Localisation in a Challenging Indoor Environment (Abstract)

Siok Kheng Tan

Zhong Fan

pp. 311-316

PDF

A Mobile Health Monitoring System Using RFID Ring-Type Pulse Sensor (Abstract)

pp. 317-322

PDF

Darshika G. Perera

Kin Fun Li

pp. 323-329

PDF

A Memetic Algorithm Based on P Systems for IIR Digital Filter Design (Abstract)

pp. 330-334

PDF

Key Techniques of Interoperable DRM on Linux Platform (Abstract)

Yulin Wang

Xuebin Liu

pp. 335-338

PDF

VDE: Seamless Mobility on Desktop Environment (Abstract)

Hai Jin

pp. 339-344

PDF

Mobile Phones as 3-DOF Controllers: A Comparative Study (Abstract)

Nicholas Katzakis

Masahiro Hori

pp. 345-349

PDF

Modeling Reputation Scheme in P2P File-Sharing by Stochastic Activity Networks (Abstract)

Peiqing Zhang

Bjarne E. Helvik

pp. 353-358

PDF

Research on the Critical Nodes Compensation Algorithm in Sparse Ad Hoc Wireless Networks (Abstract)

pp. 359-363

PDF

On-demand Query Processing in Mobile Ad Hoc Networks (Abstract)

pp. 364-368

PDF

A New Method for Coverage in Wireless Sensor Networks (Abstract)

pp. 369-372

PDF

A Novel Dual Busy Tone Aided MAC Protocol for Multi-hop Wireless Networks (Abstract)

Ke Liu

pp. 373-378

PDF

Multi-objective Optimization of Cross-Layer Configuration for Cognitive Wireless Network (Abstract)

pp. 379-383

PDF

A Key Agreement Scheme Based on Bilinear Pairing for Wireless Sensor Network (Abstract)

Chen Hao

Guo Yajun

pp. 384-388

PDF

An Adaptive Low Latency Cross-Layer MAC Protocol for Wireless Sensor Networks (Abstract)

Zhenzhou Tang

Qian Hu

pp. 389-393

PDF

A New Approach to Secure Aggregation of Private Data in Wireless Sensor Networks (Abstract)

pp. 394-399

PDF

ABSR: An Agent Based Self-Recovery Model for Wireless Sensor Network (Abstract)

pp. 400-404

PDF

An Improved Method to Reduce Over-Segmentation of Watershed Transformation and its Application in the Contour Extraction of Brain Image (Abstract)

Hui Zhu

pp. 407-412

PDF

Automatic Segmentation in Tongue Image by Mouth Location and Active Appearance Model (Abstract)

pp. 413-417

PDF

A General Framework of Brain-Computer Interface with Visualization and Virtual Reality Feedback (Abstract)

pp. 418-423

PDF

Salmon: Precise 3D Contours in Real Time (Abstract)

pp. 424-429

PDF

Correlation Between Forehead EEG and Sensorimotor Area EEG in Motor Imagery Task (Abstract)

pp. 430-435

PDF

Position Calculating and Path Tracking of Three Dimensional Location System Based on Different Wave Velocities (Abstract)

pp. 436-441

PDF

Efficient Video Quality Assessment for Broadcasting Multimedia Signal (Abstract)

pp. 442-447

PDF

A Peer to Peer Large Data Parallel Computing System and its Application in High-Resolution Video Processing (Abstract)

pp. 448-451

PDF

Runtime Safety Models in Open Systems of Systems (Abstract)

Daniel Schneider

Mario Trapp

pp. 455-460

PDF

Icaro Oliveira de Oliveira

People Reidentification in a Camera Network (Abstract)

José Luiz de Souza Pio

pp. 461-466

PDF

Web Service Selection Algorithm Based on Particle Swarm Optimization (Abstract)

pp. 467-472

PDF

A Service-Oriented Model for Autonomic Computing Elements Based upon Queuing Theory (Abstract)

Xu Lu

pp. 473-477

PDF

Research on Parallelization of Aspect-Oriented Program (Abstract)

Tengfei He

Xiaoguang Mao

pp. 478-482

PDF

Reducing Program Environment Misjudgement on VM Detection Using TSC (Abstract)

Kunio Miyamoto

Hidehiko Tanaka

pp. 483-485

PDF

Password Recovery for RAR Files Using CUDA (Abstract)

pp. 486-490

PDF

Design Optimization under Aleatory and Epistemic Uncertainties (Abstract)

Juan Wei

Bo Yang

Wei Liu

pp. 491-495

PDF

Integration of Resource Poor Wireless Sensor Networks into Smart Spaces (Abstract)

pp. 496-501

PDF

Autonomic Trust Extraction for Trustworthy Service Discovery in Urban Computing (Abstract)

Kyounghee Jung

Younghee Lee

pp. 502-507

PDF

Mohammad Abdollahi Azgomi

A Game Theoretic Approach for Quantitative Evaluation of Security by Considering Hackers with Diverse Behaviors (Abstract)

Behzad Zare Moayedi

pp. 508-513

PDF

Research and Implement of Secure Bootstrap for Virtual Machine Based on Trusted Computing Platform (Abstract)

pp. 514-519

PDF

Study on Buffer Optimal Control Algorithm Based on Infinitesimal Perturbation Analysis for Broadband Satellite Networks (Abstract)

Wang Lei

He Ning

pp. 523-526

PDF

An Improved Intrusion Detection Method in Mobile AdHoc Network (Abstract)

pp. 527-532

PDF

Multicasting Tree Transformation for Concurrent Modest Multimedia Service (Abstract)

pp. 533-538

PDF

Finding Arc and Vertex-Disjoint Paths in Networks (Abstract)

pp. 539-544

PDF

A Routing Misbehavior Detection and Mitigating Scheme Based on Reputation in Hybrid Wireless Mesh Networks (Abstract)

Jinsong Gui

pp. 545-550

PDF

Multi-metric Routing Decisions in VANET (Abstract)

pp. 551-556

PDF

Routing on Shortest Pair of Disjoint Paths with Bandwidth Guaranteed (Abstract)

pp. 557-561

PDF

Data Caching Based on Improved DGA in Ad Hoc Networks (Abstract)

Hongbin Song

Xiaoqiang Xiao

Ming Xu

Lei Lin

pp. 562-565

PDF

A Study on Buffer Efficiency and Surround Routing Strategy in Delay Tolerant Network (Abstract)

Qian He

Yang Li

Xiumei Fan

pp. 566-570

PDF

A Load-Balancing and Energy-Aware Routing Protocol for MANET Accessing Internet (Abstract)

Jian Xu

Xiang-Cai Zhu

pp. 571-574

PDF

Compact Routing on Random Power Law Graphs (Abstract)

pp. 575-578

PDF

A Framework for Identifier-Based Routing for Future Internet (Abstract)

Jie Hou

Yaping Liu

Zhenghu Gong

pp. 579-584

PDF

Noise Source Recognition Based on Two-Level Architecture Neural Network Ensemble for Incremental Learning (Abstract)

pp. 587-590

PDF

Crawling Strategy of Focused Crawler Based on Niche Genetic Algorithm (Abstract)

pp. 591-594

PDF

A Hybrid Algorithm for Solving Two-Part Division Problem in Network Community Detection (Abstract)

Chengying Mao

Man Luo

Zhenmei Zhu

pp. 595-600

PDF

Influence Diagram Model with Interval-Valued Utilities (Abstract)

pp. 601-605

PDF

Research on Social Relation Extraction of Web Persons (Abstract)

Gan Tian

Mo Qian

pp. 606-610

PDF

Andrei Victorovich Manoilo

World Models and Technologies of Psychological Impact to Resolve International Conflicts (Abstract)

pp. 611-614

PDF

Fast Complex Network Clustering Algorithm Using Agents (Abstract)

Di Jin

Dayou Liu

Bo Yang

Jie Liu

pp. 615-619

PDF

Dynamic Social Network Analysis Using Latent Space Model and an Integrated Clustering Algorithm (Abstract)

Aiwu Xu

Xiaolin Zheng

pp. 620-625

PDF

Research on Network Flow Evaluation Benchmark Model (Abstract)

pp. 626-631

PDF

Research on the Application of Expert Knowledge Map Based on Social Network Analysis (Abstract)

pp. 632-635

PDF

Research on Component-Based Model Driven Architecture Development and Assembly (Abstract)

pp. 636-641

PDF

A Study of High Concurrency Workload Influence on Modern Processor (Abstract)

pp. 642-647

PDF

An Analysis of Security in Social Networks (Abstract)

pp. 648-651

PDF

Andrei Victorovich Manoilo

Models of Information and Psychological Operations Used in International Conflicts (Abstract)

pp. 652-657

PDF

Bowling Alone and Trust Decline in Social Network Sites (Abstract)

pp. 658-663

PDF

Discovery and Visualization of Hierarchical Overlapping Communities from Bibliography Information (Abstract)

Li Wang

pp. 664-669

PDF

Water-Bloom Medium-Term Prediction Based on Gray-BP Neural Network Method (Abstract)

Shiping Zhu

Zaiwen Liu

Xiaoyi Wang

Jun Dai

pp. 673-676

PDF

A Hybrid Approach for Chinese Named Entity Recognition in Music Domain (Abstract)

Xueqing Zhang

Zhen Liu

Huizhong Qiu

Yan Fu

pp. 677-681

PDF

Research on One Intelligent Prediction Method for Water Bloom (Abstract)

Jun Dai

pp. 682-685

PDF

Designing a Network Acquisition System of Competitive Intelligence (Abstract)

Guoliang Shi

Xiaorong Mou

Xu Wan

pp. 686-689

PDF

Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution (Abstract)

pp. 690-695

PDF

Intrusion Detection Based on Data Mining (Abstract)

George S. Oreku

Fredrick J. Mtenzi

pp. 696-701

PDF

Using Nature to Best Clarify Computer Security and Threats (Abstract)

George S. Oreku

Fredrick J. Mtenzi

pp. 702-707

PDF

Privacy as a Service: Privacy-Aware Data Storage and Processing in Cloud Computing Architectures (Abstract)

pp. 711-716

PDF

Cloud Security with Virtualized Defense and Reputation-Based Trust Mangement (Abstract)

Kai Hwang

Sameer Kulkareni

Yue Hu

pp. 717-722

PDF

SRD-DFA: Achieving Sub-rule Distinguishing with Extended DFA Structure (Abstract)

Gao Xia

Xiaofei Wang

Bin Liu

pp. 723-728

PDF

Intrusion Detection in the Cloud (Abstract)

pp. 729-734

PDF

A Benchmark of Transparent Data Encryption for Migration of Web Applications in the Cloud (Abstract)

Ji Hu

Andreas Klein

pp. 735-740

PDF

A Design of Data Acquisition of High Speed CCD Camera (Abstract)

Pu Zeng

pp. 743-745

PDF

Acceptance and Applications of Smart Cards Technology in University Settings (Abstract)

Abdulrahman A. Mirza

Khaled Alghathbar

pp. 746-748

PDF

Design of 3D Positioning Algorithm Based on RFID Receiver Array for In Vivo Micro-Robot (Abstract)

Hao Hu

pp. 749-753

PDF

Public-Mailbox-Based Online Homework-Automatic-Processing Platform (Abstract)

pp. 754-757

PDF

An On-line Monitor System on Off-Gases of Vehicles with WSN's Design Based on Zigbee Technology (Abstract)

pp. 758-763

PDF

Joint Topology-Transparent Scheduling and Multipath QoS Routing in MANETs (Abstract)

Yuan Li

BaoLin Sun

Xing Luo

pp. 767-771

PDF

The Optimal Design of Tree Structure Based on Ant Colony of Wireless Sensor Networks Routing (Abstract)

Gang Hu

Pan Zhang

Wei Zhang

pp. 772-776

PDF

A Practical Solution for Automatic Service Discovery and Usage over Resource Poor Ad-hoc Sensor Networks (Abstract)

pp. 777-781

PDF

A Remote Monitoring System of IDC Room Based on ZigBee Wireless Sensor Networks (Abstract)

Lei Shu

pp. 782-787

PDF

Research of Fingerprint Image Quality Estimation (Abstract)

pp. 791-795

PDF

Interactive Pervasive Wireless Services over GPRS and Bluetooth (Abstract)

Yong Tang

pp. 796-801

PDF

Robust Medical Data Delivery for Wireless Pervasive Healthcare (Abstract)

pp. 802-807

PDF

A Newly Developed Diamond Search Algorithm (Abstract)

Hui Chen

Hai-Tao Jia

pp. 811-814

PDF

Comparison of Neural Network and Kriging Method for Creating Simulation-Optimization Metamodels (Abstract)

Ren Yuan

Bai Guangchen

pp. 815-821

PDF

REAR: Real-Time Energy Aware Routing for Wireless Adhoc Micro Sensors Network (Abstract)

pp. 825-830

PDF

An Intelligent MANet Routing Method MEC (Abstract)

Sheng Cao

Yong Chen

pp. 831-834

PDF

A Tool for Identifying Ragas Using MIDI (Musical Instrument Devices) for CMIR (Classical Music Information Retrieval) (Abstract)

R. Sudha

pp. 837-842

PDF

A New Connected Component Analysis Algorithm Based on Max-Tree (Abstract)

Yan Fu

Xu Chen

Hui Gao

pp. 843-844

PDF

P2P-Based Single Sign-On (Abstract)

Yong Ma

Xuewen Chen

Ling Li

Yaoming Luo

pp. 845-846

PDF

Research of Fingerprint Recognition (Abstract)

Wei Xu

pp. 847-848

PDF

A Synthetic Network Management Model Based on ForCES FE Model (Abstract)

pp. 849-850

PDF

A Symmetric Key Based RFID Authentication Protocol Using Encrypted Tag ID (Abstract)

pp. 851-852

PDF

A Lightweight RFID Authentication Protocol Using Step by Step Symmetric Key Change (Abstract)

pp. 853-854

PDF

Realization of Intelligent Dynamic Topology Management in Next Generation Network (Abstract)

Cong Wu

Shiguo Xu

pp. 855-856

PDF

Publish and Subscribe Model Based on WS-Notification (Abstract)

Guangpu Zeng

Huilian Fan

pp. 857-858

PDF

Research of Summarization Extraction in Multiple Topics Document (Abstract)

Tao Liao

Zongtian Liu

pp. 859-860

PDF

A Kind of Improved Vector Space Model (Abstract)

Xiaoping Xu

Junhu Yan

pp. 861-862

PDF

A Short Distance Data Dissemination Protocol for Wireless Sensor Networks (Abstract)

pp. 863-864

PDF

Delay-Dependent Robust Global Asymptotic Stability for Stochastic Neural Networks with Discrete-Delay and Unbounded Distributed Delays (Abstract)

pp. 865-866

PDF

Author Index (PDF)

pp. 867-873

Roster Page (PDF)

pp. 874