[Front cover] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

PICom-09 Organizing Committee (PDF)

Title Page i (PDF)

Title Page iii (PDF)

Message from the DASC 2009 Chairs (PDF)

DASC 2009 Organizing Committee (PDF)

DASC 2009 Program Committee (PDF)

Message from the PICom-09 Chairs (PDF)

Message from the UbiSafe-09 Chairs (PDF)

UbiSafe-09 Organizing Committee (PDF)

Message from the Routing-09 Program Chairs (PDF)

Routing-09 Organizing Committee (PDF)

Message from the SocialNet-09 Program Chairs (PDF)

SocialNet-09 Organizing Committee (PDF)

Message from the ACI-09 Chairs (PDF)

ACI-09 Organizing Committee (PDF)

Message from the SCC-09 Chairs (PDF)

SCC-09 Organzing Committee (PDF)

Message from the RIPWASS-09 Chairs (PDF)

Message from the MMASN-09 Chairs (PDF)

MMASN-09 Organizing Committee (PDF)

Message from the SmarTel-09 General Chairs (PDF)

SmarTel-09 Organizing Committee (PDF)

Message from the IISHCI-09 Program Chairs (PDF)

IISHCI-09 Organizing Committee (PDF)

Message from the TMUPS-09 Program Chairs (PDF)

TMUPS-09 Organizing Committee (PDF)

Adaptive Dimensioning of Cloud Data Centers (Abstract)

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

Dependability Analysis for AADL Models by PVS (Abstract)

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

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

Policy Description Language for Dynamic Access Control Models (Abstract)

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

TCBC: Trap Caching Bounds Checking for C (Abstract)

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

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

Achieving Information Security in Network Computing Systems (Abstract)

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

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

Composition Planning for Networked Appliances (Abstract)

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

Replica Placement in Multi-tier Data Grid (Abstract)

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

Security Analysis of NSSK Protocol and its Improvement (Abstract)

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

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

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

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

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

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

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

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

Learning Navigation Map on Ontology (Abstract)

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

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

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

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

Pattern Matching with Independent Wildcard Gaps (Abstract)

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

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

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

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

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

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

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

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

Cooperative Alert Topic Detection Model in Distributed Environment (Abstract)

A Comparison of Social Service Selection Techniques (Abstract)

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

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

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

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

Cryptanalysis of Two Identity Based Signcryption Schemes (Abstract)

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

Multidimensional Pervasive Adaptation into Ambient Intelligent Environments (Abstract)

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

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

Similarity Computation Using Reconfigurable Embedded Hardware (Abstract)

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

Key Techniques of Interoperable DRM on Linux Platform (Abstract)

VDE: Seamless Mobility on Desktop Environment (Abstract)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Efficient Video Quality Assessment for Broadcasting Multimedia Signal (Abstract)

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

Runtime Safety Models in Open Systems of Systems (Abstract)

People Reidentification in a Camera Network (Abstract)

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

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

Research on Parallelization of Aspect-Oriented Program (Abstract)

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

Password Recovery for RAR Files Using CUDA (Abstract)

Design Optimization under Aleatory and Epistemic Uncertainties (Abstract)

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

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

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

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

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

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

Multicasting Tree Transformation for Concurrent Modest Multimedia Service (Abstract)

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

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

Multi-metric Routing Decisions in VANET (Abstract)

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

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

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

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

Compact Routing on Random Power Law Graphs (Abstract)

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

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

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

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

Influence Diagram Model with Interval-Valued Utilities (Abstract)

Research on Social Relation Extraction of Web Persons (Abstract)

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

Fast Complex Network Clustering Algorithm Using Agents (Abstract)

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

Research on Network Flow Evaluation Benchmark Model (Abstract)

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

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

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

An Analysis of Security in Social Networks (Abstract)

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

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

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

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

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

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

Designing a Network Acquisition System of Competitive Intelligence (Abstract)

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

Intrusion Detection Based on Data Mining (Abstract)

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

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

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

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

Intrusion Detection in the Cloud (Abstract)

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

Notice of Violation of IEEE Publication Principles
A Tool for Identifying Ragas Using MIDI (Musical Instrument Devices) for CMIR (Classical Music Information Retrieval) (Abstract)

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

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

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

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

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

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

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

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

Research of Fingerprint Image Quality Estimation (Abstract)

Interactive Pervasive Wireless Services over GPRS and Bluetooth (Abstract)

Robust Medical Data Delivery for Wireless Pervasive Healthcare (Abstract)

A Newly Developed Diamond Search Algorithm (Abstract)

[Roster] (PDF)

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

An Intelligent MANet Routing Method MEC (Abstract)

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

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

P2P-Based Single Sign-On (Abstract)

Research of Fingerprint Recognition (Abstract)

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

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

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

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

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

Research of Summarization Extraction in Multiple Topics Document (Abstract)

A Kind of Improved Vector Space Model (Abstract)

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

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

Author Index (PDF)