1. Preface

   • Xiao-Feng Meng
   • Fusheng Wang

   Preface 08 November 2013 Pages: 929 - 931

2. Non-Intrusive Elastic Query Processing in the Cloud

   • Ticiana L. Coelho da Silva
   • Mario A. Nascimento
   • Javam C. Machado

   Regular Paper 08 November 2013 Pages: 932 - 947

3. An Energy-Aware Heuristic Scheduling for Data-Intensive Workflows in Virtualized Datacenters

   • Peng Xiao
   • Zhi-Gang Hu
   • Yan-Ping Zhang

   Regular Paper 08 November 2013 Pages: 948 - 961

4. A Framework for Supporting Tree-Like Indexes on the Chord Overlay

   • Ming-Dong Zhu
   • De-Rong Shen
   • Ge Yu

   Regular Paper 08 November 2013 Pages: 962 - 972

5. HEDC++: An Extended Histogram Estimator for Data in the Cloud

   • Ying-Jie Shi
   • Xiao-Feng Meng
   • Yan-Tao Gan

   Regular Paper 08 November 2013 Pages: 973 - 988

6. Partition-Based Online Aggregation with Shared Sampling in the Cloud

   • Yu-Xiang Wang
   • Jun-Zhou Luo
   • Fang Dong

   Regular Paper 08 November 2013 Pages: 989 - 1011

7. Application-Aware Client-Side Data Reduction and Encryption of Personal Data in Cloud Backup Services

   • Yin-Jin Fu
   • Nong Xiao
   • Fang Liu

   Regular Paper 08 November 2013 Pages: 1012 - 1024

8. A Temporal Locality-Aware Page-Mapped Flash Translation Layer

   • Youngjae Kim
   • Aayush Gupta
   • Bhuvan Urgaonkar

   Regular Paper 08 November 2013 Pages: 1025 - 1044

9. RevivePath: Resilient Network-on-Chip Design Through Data Path Salvaging of Router

   • Yin-He Han
   • Cheng Liu
   • Xiao-Wei Li

   Regular Paper 08 November 2013 Pages: 1045 - 1053

10. Low Power State Assignment Algorithm for FSMs Considering Peak Current Optimization

    • Lun-Yao Wang
    • Zhu-Fei Chu
    • Yin-Shui Xia

    Regular Paper 08 November 2013 Pages: 1054 - 1062

11. A Shape Graph Logic and A Shape System

    • Zhao-Peng Li
    • Yu Zhang
    • Yi-Yun Chen

    Regular Paper 08 November 2013 Pages: 1063 - 1084

12. Clausal Presentation of Theories in Deduction Modulo

    • Jian-Hua Gao

    Regular Paper 08 November 2013 Pages: 1085 - 1096

13. The Infinite Evolution Mechanism of ϵ-Bisimilarity

    • Yan-Fang Ma
    • Min Zhang

    Regular Paper 08 November 2013 Pages: 1097 - 1105

14. Improving Syntactic Parsing of Chinese with Empty Element Recovery

    • Guo-Dong Zhou
    • Pei-Feng Li

    Regular Paper 08 November 2013 Pages: 1106 - 1116

15. Semantic Role Labeling of Chinese Nominal Predicates with Dependency-Driven Constituent Parse Tree Structure

    • Hong-Ling Wang
    • Guo-Dong Zhou

    Regular Paper 08 November 2013 Pages: 1117 - 1126

16. CONTENTS

    Events 08 November 2013 Pages: 1127 - 1130

17. 2013 Author Index

    Events 08 November 2013 Pages: 1131 - 1134