1. Model checking with fairness assumptions using PAT

   • Yuanjie Si
   • Jun Sun
   • Xiaohu Yang

   Research Article 13 December 2013 Pages: 1 - 16

2. Runtime support for type-safe and context-based behavior adaptation

   • Changpeng Zhu
   • Yinliang Zhao
   • Ying Ma

   Research Article 06 December 2013 Pages: 17 - 32

3. Organization-based agent-oriented programming: model, mechanisms, and language

   • Cuiyun Hu
   • Xinjun Mao
   • Zhi Zhu

   Research Article 15 November 2013 Pages: 33 - 51

4. A constraint-weaving approach to points-to analysis for AspectJ

   • Qiang Sun
   • Yuting Chen
   • Jianjun Zhao

   Research Article 15 November 2013 Pages: 52 - 68

5. Tag recommendation for open source software

   • Tao Wang
   • Huaimin Wang
   • Peng Zou

   Research Article 15 November 2013 Pages: 69 - 82

6. MR-DBSCAN: a scalable MapReduce-based DBSCAN algorithm for heavily skewed data

   • Yaobin He
   • Haoyu Tan
   • Jianping Fan

   Research Article 19 December 2013 Pages: 83 - 99

7. Generalized multipath planning model for ride-sharing systems

   • Jamal Yousaf
   • Juanzi Li
   • Xiaowen Dai

   Research Article 06 December 2013 Pages: 100 - 118

8. PSG: a two-layer graph model for document summarization

   • Heng Chen
   • Hai Jin
   • Feng Zhao

   Research Article 15 November 2013 Pages: 119 - 130

9. Adaptive in-page logging for flash-memory storage systems

   • Ke Lu
   • Peiquan Jin
   • Lihua Yue

   Research Article 26 November 2013 Pages: 131 - 144

10. SWVFS: a saliency weighted visual feature similarity metric for image quality assessment

    • Li Cui

    Research Article 26 November 2013 Pages: 145 - 155

11. Splitting touching cells based on concave-point and improved watershed algorithms

    • Hong Song
    • Qingjie Zhao
    • Yinghong Liu

    Research Article 15 November 2013 Pages: 156 - 162

12. Cryptanalysis and improvement of a certificateless encryption scheme in the standard model

    • Lin Cheng
    • Qiaoyan Wen
    • Hua Zhang

    Research Article 15 November 2013 Pages: 163 - 173