Generalized interface automata with multicast synchronization Fei HeXiaoyu SongJiaguang Sun Research Article 24 October 2014 Pages: 1 - 14
Integrating behavior analysis into architectural modeling Luxi ChenLinpeng HuangTao Zan Research Article 14 November 2014 Pages: 15 - 33
Melton: a practical and precise memory leak detection tool for C programs Zhenbo XuJian ZhangZhongxing Xu Research Article 29 December 2014 Pages: 34 - 54
Algorithms for tractable compliance problems Silvano Colombo TosattoPierre KelsenLeendert van der Torre Research Article 22 November 2014 Pages: 55 - 74
A complete coalition logic of temporal knowledge for multi-agent systems Qingliang ChenKaile SuGuiwu Hu Research Article 16 December 2014 Pages: 75 - 86
Timed-pNets: a communication behavioural semantic model for distributed systems Yanwen ChenYixiang ChenEric Madelaine Research Article 14 November 2014 Pages: 87 - 110
A new fragment re-allocation strategy for NoSQL database systems Zhikun ChenShuqiang YangGe Zhang Research Article 06 November 2014 Pages: 111 - 127
SAMES: deadline-constraint scheduling in MapReduce Xite WangDerong ShenGe Yu Research Article 29 December 2014 Pages: 128 - 141
An anonymous and efficient remote biometrics user authentication scheme in a multi server environment Peng JiangQiaoyan WenHua Zhang Research Article 29 December 2014 Pages: 142 - 156
Scalable protocol for cross-domain group password-based authenticated key exchange Cong GuoZijian ZhangZhen Yang Research Article 03 November 2014 Pages: 157 - 169