CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xiii

Message from ISPA 2009 Steering Chairs and General Chairs (PDF)

pp. xiv

Message from ISPA 2009 Program Chairs (PDF)

pp. xv

Message from ISPA 2009 Workshop Chairs (PDF)

pp. xvi

ISPA 2009 Organizing and Program Committees (PDF)

pp. xvii-xix

Message from ISSR 2009 Workshop Chairs (PDF)

pp. xx

ISSR 2009 Organizing and Program Committees (PDF)

pp. xxi

Message from CSS 2009 Workshop Chairs (PDF)

pp. xxii

CSS 2009 Organizing and Program Committees (PDF)

pp. xxiii

Message from IWASVT 2009 Workshop Chairs (PDF)

pp. xxiv

IWASVT 2009 Organizing and Program Committees (PDF)

pp. xxv

Message from WMSC 2009 Workshop Chairs (PDF)

pp. xxvi

WMSC 2009 Organizing and Program Committees (PDF)

pp. xxvii

Message from DSAA 2009 Workshop Chairs (PDF)

pp. xxviii

DSAA 2009 Organizing and Program Committees (PDF)

pp. xxix

Keynote Speeches (PDF)

pp. xxx-xxxii

P-Cache: Providing Prioritized Caching Service for Storage System (Abstract)

Xiaoxuan Meng

Chengxiang Si

Wenwu Na

Lu Xu

pp. 3-10

PDF

An Efficient Task Allocation Protocol for P2P Multi-agent Systems (Abstract)

pp. 11-18

PDF

Scheduling Jobs in Grids Adaptively (Abstract)

pp. 19-25

PDF

MM-DSM: Multi-threaded Multi-home Distributed Shared Memory Systems (Abstract)

pp. 26-33

PDF

Bandwidth Sensitive Co-allocation Scheme for Parallel Downloading in Data Grid (Abstract)

pp. 34-39

PDF

An Adaptive Resource Monitoring Method for Distributed Heterogeneous Computing Environment (Abstract)

pp. 40-44

PDF

DLBS: Duplex Loading Balancing Strategy on Object Storage System (Abstract)

Tan Zhipeng

Feng Dan

Tu Xudong

He Fei

pp. 45-52

PDF

A Replacement Algorithm Designed for the Web Search Engine and Its Application in Storage Cache (Abstract)

Lu Xu

pp. 53-59

PDF

A Hardware-Software Cooperative Approach for the Exhaustive Verification of the Collatz Conjecture (Abstract)

Yasuaki Ito

Koji Nakano

pp. 63-70

PDF

Analysing Internet Information Propagation Using Quality of Service Methodology Based on Algebra of System (Abstract)

Tianju Wang

Qu Qu

Benjamin Koo

pp. 71-78

PDF

A New Cloaking Method Supporting both K-anonymity and L-diversity for Privacy Protection in Location-Based Service (Abstract)

pp. 79-85

PDF

Centralized Botnet Detection by Traffic Aggregation (Abstract)

Tao Wang

Shun-Zheng Yu

pp. 86-93

PDF

Managing Large-Scale Scientific Computing in Ensemble Prediction Using BPEL (Abstract)

Hai Liu

pp. 94-101

PDF

Software Viterbi Decoder with SSE4 Parallel Processing Instructions for Software DVB-T Receiver (Abstract)

pp. 102-105

PDF

Distributed Execution of Workflow Using Parallel Partitioning (Abstract)

Maryam Khademi Hedayat

pp. 106-112

PDF

An Efficient Algorithm for Multimedia Delivery in Pervasive Space (Abstract)

pp. 113-118

PDF

CISP-Growth: A Contiguous Item Sequential Pattern Mining Algorithm with Application Level IO Patterns (Abstract)

Xu Lu

pp. 119-126

PDF

Solo: A Lightweight Virtual Machine (Abstract)

Jie Ma

pp. 129-136

PDF

Virtual Machine Resource Management for High Performance Computing Applications (Abstract)

Zhiyuan Shao

Hai Jin

Yong Li

pp. 137-144

PDF

An Active Trusted Model for Virtual Machine Systems (Abstract)

pp. 145-152

PDF

Secure Logging for Auditable File System Using Separate Virtual Machines (Abstract)

pp. 153-160

PDF

REMOCA: Hypervisor Remote Disk Cache (Abstract)

pp. 161-169

PDF

Load Balancing in Server Consolidation (Abstract)

pp. 170-174

PDF

A Synchronization-Based Alternative to Directory Protocol (Abstract)

Lei Liu

Wei Lin

pp. 175-181

PDF

Characterizing Betweenness Centrality Algorithm on Multi-core Architectures (Abstract)

Dengbiao Tu

Guangming Tan

pp. 182-189

PDF

Balancing Parallel Applications on Multi-core Processors Based on Cache Partitioning (Abstract)

Guang Suo

Xue-jun Yang

pp. 190-195

PDF

I-Cache Tag Reduction for Low Power Chip Multiprocessor (Abstract)

Li Li

pp. 196-202

PDF

Performance Analysis of ClearSpeed's CSX600 Interconnects (Abstract)

pp. 203-210

PDF

Survivable Virtual Topology Reconfiguration Problem on WDM Networks with Reconfiguration Constraint (Abstract)

Der-Rong Din

Yu-Sheng Chiu

pp. 211-218

PDF

Program Optimization of Stencil Based Application on the GPU-Accelerated System (Abstract)

pp. 219-225

PDF

Accelerating Partitional Algorithms for Flow Cytometry on GPUs (Abstract)

pp. 226-233

PDF

An Empirically Optimized Radix Sort for GPU (Abstract)

pp. 234-241

PDF

ARRAY: A Non-application-Related, Secure, Wide-Area Disaster Recovery Storage System (Abstract)

pp. 245-252

PDF

One New Research about IPSec Communication Based on HTTP Tunnel (Abstract)

Mei Song

Zhang Yun-he

pp. 253-257

PDF

Semantic Security Policy for Web Service (Abstract)

pp. 258-262

PDF

Supporting Reconfigurable Fault Tolerance on Application Servers (Abstract)

pp. 263-271

PDF

Security System for Overlapping Non-dedicated Clusters (Abstract)

Martin Stava

Pavel Tvrdik

pp. 272-281

PDF

Performance, Fault-Tolerance and Scalability Analysis of Virtual Infrastructure Management System (Abstract)

pp. 282-289

PDF

A Two-Phase Log-Based Fault Recovery Mechanism in Master/Worker Based Computing Environment (Abstract)

pp. 290-297

PDF

Fault-Tolerant Routing Schemes for Wormhole Mesh (Abstract)

pp. 298-301

PDF

Luiz A. de Paula Lima Junior

Semantically Reliable Multicast Based on the (m-k)-Firm Technique (Abstract)

Wilian Queiroz

Lau Cheuk Lung

Luciana de Oliveira Rech

pp. 302-308

PDF

An Alliance Based Reputation Model for Internet Autonomous System Trust Evaluation (Abstract)

Ning Hu

Peidong Zhu

Peng Zou

pp. 309-314

PDF

Optimize Multiple Mobile Elements Touring in Wireless Sensor Networks (Abstract)

pp. 317-323

PDF

Random Scheduling for Wireless Sensor Networks (Abstract)

Jie Jiang

Li Fang

Jun Wen

Guofu Wu

Heying Zhang

pp. 324-332

PDF

Consistent Message Ordering in Wireless Sensor and Actor Networks (Abstract)

pp. 333-339

PDF

Efficient and Lightweight Data Integrity Check in In-Networking Storage Wireless Sensor Networks (Abstract)

Wei Ren

Yi Ren

Hui Zhang

pp. 340-347

PDF

Transport and Routing Redundancy for MANETs Robustness (Abstract)

A.B. Bagayoko

Beatrice Paillassa

Claudia Betous-Almeida

pp. 348-353

PDF

VoIP Performance in Multi-radio Mobile Devices (Abstract)

Abiodun Iwayemi

Chi Zhou

pp. 354-360

PDF

A Low Latency Handoff Scheme Based on the Location and Movement Pattern (Abstract)

Fei Shi

Keqiu Li

Yanming Shen

pp. 361-365

PDF

A Case-Based Component Selection Framework for Mobile Context-Aware Applications (Abstract)

pp. 366-373

PDF

DDSA: A Sampling and Validation Based Spectrum Access Algorithm in Wireless Networks (Abstract)

pp. 374-381

PDF

Design and Implementation of a RFID Based Real-Time Location-Aware System in Clean Room (Abstract)

pp. 382-388

PDF

Web Service Locating Unit in RFID-Centric Anti-counterfeit System (Abstract)

pp. 389-393

PDF

A Forwarding Migration Algorithm for Multipath Transmission (Abstract)

pp. 397-400

PDF

Utility Proportional Optimization Flow Control for Overlay Multicast (Abstract)

Ali Jafari

H. Shafiei

Baharan Mirzasoleiman

Ghodrat Sepidnam

pp. 401-407

PDF

A Designated Path Scheme for Energy-Efficient Data Aggregation in Wireless Sensor Networks (Abstract)

pp. 408-415

PDF

Tool Support for Security-Oriented Virtual Research Collaborations (Abstract)

pp. 419-424

PDF

Towards a Trustable Virtual Organisation (Abstract)

Jun Ho Huh

Andrew Martin

pp. 425-431

PDF

USGPA: A User-Centric and Secure Grid Portal Architecture for High-Performance Computing (Abstract)

pp. 432-438

PDF

Enhancing Privacy and Security in RFID-Enabled Banknotes (Abstract)

pp. 439-444

PDF

Active Attacks on Reputable Mix Networks (Abstract)

pp. 447-450

PDF

Reverse Analysis and Vulnerability Detection for Network System Software (Abstract)

Wei Pan

Weihua Li

pp. 451-456

PDF

ZDCF: An Improved DCF Solution of IEEE 802.11 (Abstract)

pp. 457-462

PDF

Fuzzy Decision Tree Based Inference Technology for Spam Behavior Recognition (Abstract)

pp. 463-468

PDF

Dynamic Forensics Based on Intrusion Tolerance (Abstract)

Lin Chen

Zhitang Li

Cuixia Gao

Lan Liu

pp. 469-473

PDF

An Identity-Based Restricted Deniable Authentication Protocol (Abstract)

pp. 474-478

PDF

Grey Theory Based Nodes Risk Assessment in P2P Networks (Abstract)

Fu Cai

pp. 479-483

PDF

A Method of In-Depth-Defense for Network Security Based on Immunity Principles (Abstract)

pp. 484-487

PDF

A Case Study: File Access Privacy Control Using Filter Hook Driver (Abstract)

Aiguo He

Tomohiro Ohdaira

pp. 488-493

PDF

Extended PEG Algorithm for High Rate LDPC Codes (Abstract)

pp. 494-498

PDF

A Business-Oriented Fault Localization Approach Using Digraph (Abstract)

pp. 499-504

PDF

Development of ISEE: An Information Security Engineering Environment (Abstract)

pp. 505-510

PDF

Distributed Transfer Network Learning Based Intrusion Detection (Abstract)

Yao Yao

pp. 511-515

PDF

A Simple Cache Partitioning Approach in a Virtualized Environment (Abstract)

pp. 519-524

PDF

Using Pcache to Speedup Interpretation in Dynamic Binary Translation (Abstract)

Li Shen

pp. 525-530

PDF

Block-Based In-Place Replacement Strategy for x86 Sensitive Instructions in Virtual Machine (Abstract)

pp. 531-536

PDF

Luvalley-Lite: An Effort to Balance Re-use and Re-coding (Abstract)

Xiaojian Liu

Xiaodong Yi

Yi Ren

pp. 537-542

PDF

A Virtualized Self-Adaptive Parallel Programming Framework for Heterogeneous High Productivity Computers (Abstract)

pp. 543-548

PDF

System Monitoring and Controlling Mechanism Based on Hypervisor (Abstract)

pp. 549-554

PDF

A Parallel Gibbs Sampling Algorithm for Motif Finding on GPU (Abstract)

Linbin Yu

Yun Xu

pp. 555-558

PDF

Data Management: The Spirit to Pursuit Peak Performance on Many-Core Processor (Abstract)

pp. 559-564

PDF

Using GPU to Accelerate Cache Simulation (Abstract)

Wan Han

Gao Xiaopeng

Wang Zhiqiang

Li Yi

pp. 565-570

PDF

Evaluation Method of Synchronization for Shared-Memory On-Chip Many-Core Processor (Abstract)

Lei Yu

pp. 571-576

PDF

Workflow Based Approach for Eliminating Redundancy in Virtual Enterprising (Abstract)

Reggie Davidrajuh

pp. 579-583

PDF

A Web Based Workflow System for Distributed Atmospheric Data Processing (Abstract)

pp. 584-588

PDF

A Quality Optimization Method for Service Process Model (Abstract)

pp. 589-594

PDF

A Global QoS-Driven Evaluation Strategy for Web Services Composition (Abstract)

Xuyun Zhang

Wanchun Dow

pp. 595-600

PDF

Workflow Model Performance Analysis Concerning Instance Dwelling Times Distribution (Abstract)

Liu Sheng

Fan Yushun

pp. 601-605

PDF

An Adaptive Scheduler for Enhancing the Efficiency of Multi-engine BPM Systems (Abstract)

pp. 606-610

PDF

Completion Time Estimation for Instances of Generalized Well-Formed Workflow (Abstract)

pp. 611-616

PDF

Research on Services Selection Based on Credible Alliance in Web Services Combination (Abstract)

pp. 617-622

PDF

Generation of Web Knowledge Flow for Personalized Services (Abstract)

Jie Yu

pp. 623-628

PDF

A Multiple QoS Constrained Scheduling Strategy of Multiple Workflows for Cloud Computing (Abstract)

Meng Xu

pp. 629-634

PDF

Change Sequence Mining in Context-Aware Scientific Workflow (Abstract)

Yi Wang

Jian Cao

Minglu Li

pp. 635-640

PDF

A Time Exception Handling Algorithm of Temporal Workflow (Abstract)

Ting Xie

Yang Yu

Guoshen Kuang

pp. 641-646

PDF

Implementation of a Visual Modeling Tool for Defining Instance Aspect in Workflow (Abstract)

pp. 647-652

PDF

A Domain Specific Language and Workflow Execution Engine to Enable Dynamic Workflows (Abstract)

G. St

J. Mangler

E. Schikuta

pp. 653-658

PDF

Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets (Abstract)

Yaojun Han

Xumei Luo

pp. 659-663

PDF

Adaptive Processor Allocation with Estimated Job Execution Time in Heterogeneous Computing Grid (Abstract)

pp. 664-669

PDF

Optimizing Message Passing Programs Based on Task Section Duplication (Abstract)

Yin Ye

Zhihui Du

Song Hao

pp. 673-678

PDF

A Task-Pool Parallel I/O Paradigm for an I/O Intensive Application (Abstract)

Jianjiang Li

Lin Yan

Zhe Gao

Dan Hei

pp. 679-684

PDF

Extended Combination Testing: Generates Array Test Suite (Abstract)

Xiaodong Xie

Yansheng Lu

pp. 685-690

PDF

SimSync: A Table-Based Constraint Processing Language For Synchronization Control (Abstract)

pp. 691-695

PDF

The Conditional Diagnosability of Twisted Cubes under the Comparison Model (Abstract)

Shuming Zhou

pp. 696-701

PDF

Proving Total Correctness of Refinement Based on Tableau (Abstract)

Xiaolei Gao

Huaikou Miao

pp. 702-707

PDF

Semi-automatic Transformation of Sequential Code to Distributed Code Using Model Driven Architecture Approach (Abstract)

Siamak Najjar Karimi

Saeed Parsa

pp. 708-714

PDF

Multi-Source Traffic Data Fusion Method Based on Regulation and Reliability (Abstract)

Xinhong Wu

Hai Jin

pp. 715-718

PDF

Author Index (PDF)

pp. 719-724

Roster Page (PDF)

pp. 726