1. Generalized interface automata with multicast synchronization

   • Fei He
   • Xiaoyu Song
   • Jiaguang Sun

   Research Article 24 October 2014 Pages: 1 - 14

2. Integrating behavior analysis into architectural modeling

   • Luxi Chen
   • Linpeng Huang
   • Tao Zan

   Research Article 14 November 2014 Pages: 15 - 33

3. Melton: a practical and precise memory leak detection tool for C programs

   • Zhenbo Xu
   • Jian Zhang
   • Zhongxing Xu

   Research Article 29 December 2014 Pages: 34 - 54

4. Algorithms for tractable compliance problems

   • Silvano Colombo Tosatto
   • Pierre Kelsen
   • Leendert van der Torre

   Research Article 22 November 2014 Pages: 55 - 74

5. A complete coalition logic of temporal knowledge for multi-agent systems

   • Qingliang Chen
   • Kaile Su
   • Guiwu Hu

   Research Article 16 December 2014 Pages: 75 - 86

6. Timed-pNets: a communication behavioural semantic model for distributed systems

   • Yanwen Chen
   • Yixiang Chen
   • Eric Madelaine

   Research Article 14 November 2014 Pages: 87 - 110

7. A new fragment re-allocation strategy for NoSQL database systems

   • Zhikun Chen
   • Shuqiang Yang
   • Ge Zhang

   Research Article 06 November 2014 Pages: 111 - 127

8. SAMES: deadline-constraint scheduling in MapReduce

   • Xite Wang
   • Derong Shen
   • Ge Yu

   Research Article 29 December 2014 Pages: 128 - 141

9. An anonymous and efficient remote biometrics user authentication scheme in a multi server environment

   • Peng Jiang
   • Qiaoyan Wen
   • Hua Zhang

   Research Article 29 December 2014 Pages: 142 - 156

10. Scalable protocol for cross-domain group password-based authenticated key exchange

    • Cong Guo
    • Zijian Zhang
    • Zhen Yang

    Research Article 03 November 2014 Pages: 157 - 169