Model checking with fairness assumptions using PAT Yuanjie SiJun SunXiaohu Yang Research Article 13 December 2013 Pages: 1 - 16
Runtime support for type-safe and context-based behavior adaptation Changpeng ZhuYinliang ZhaoYing Ma Research Article 06 December 2013 Pages: 17 - 32
Organization-based agent-oriented programming: model, mechanisms, and language Cuiyun HuXinjun MaoZhi Zhu Research Article 15 November 2013 Pages: 33 - 51
A constraint-weaving approach to points-to analysis for AspectJ Qiang SunYuting ChenJianjun Zhao Research Article 15 November 2013 Pages: 52 - 68
Tag recommendation for open source software Tao WangHuaimin WangPeng Zou Research Article 15 November 2013 Pages: 69 - 82
MR-DBSCAN: a scalable MapReduce-based DBSCAN algorithm for heavily skewed data Yaobin HeHaoyu TanJianping Fan Research Article 19 December 2013 Pages: 83 - 99
Generalized multipath planning model for ride-sharing systems Jamal YousafJuanzi LiXiaowen Dai Research Article 06 December 2013 Pages: 100 - 118
PSG: a two-layer graph model for document summarization Heng ChenHai JinFeng Zhao Research Article 15 November 2013 Pages: 119 - 130
Adaptive in-page logging for flash-memory storage systems Ke LuPeiquan JinLihua Yue Research Article 26 November 2013 Pages: 131 - 144
SWVFS: a saliency weighted visual feature similarity metric for image quality assessment Li Cui Research Article 26 November 2013 Pages: 145 - 155
Splitting touching cells based on concave-point and improved watershed algorithms Hong SongQingjie ZhaoYinghong Liu Research Article 15 November 2013 Pages: 156 - 162
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model Lin ChengQiaoyan WenHua Zhang Research Article 15 November 2013 Pages: 163 - 173