1. A high order collaboration and real time formal model for automatic testing of safety critical systems

   • Jianghua Lv
   • Shilong Ma
   • Jiangong Song

   Research Article 23 May 2015 Pages: 495 - 510

2. Efficient approach of translating LTL formulae into Büchi automata

   • Laixiang Shan
   • Xiaomin Du
   • Zheng Qin

   Research Article 08 April 2015 Pages: 511 - 523

3. Understanding and identifying latent data races cross-thread interleaving

   • Long Zheng
   • Xiaofei Liao
   • Hai Jin

   Research Article 22 June 2015 Pages: 524 - 539

4. Runtime model based approach to IoT application development

   • Xing Chen
   • Aipeng Li
   • Gang Huang

   Research Article 06 June 2015 Pages: 540 - 553

5. Software crowdsourcing for developing Software-as-a-Service

   • Xiaolan Xu
   • Wenjun Wu
   • Yuchuan Wu

   Research Article 04 May 2015 Pages: 554 - 565

6. Exploiting write power asymmetry to improve phase change memory system performance

   • Qi Wang
   • Donghui Wang
   • Chaohuan Hou

   Research Article 07 March 2015 Pages: 566 - 575

7. XGRouter: high-quality global router in X-architecture with particle swarm optimization

   • Genggeng Liu
   • Wenzhong Guo
   • Guolong Chen

   Research Article 29 July 2015 Pages: 576 - 594

8. Active transfer learning of matching query results across multiple sources

   • Jie Xin
   • Zhiming Cui
   • Tianxu He

   Research Article 08 April 2015 Pages: 595 - 607

9. Combining long-term and short-term user interest for personalized hashtag recommendation

   • Jianjun Yu
   • Tongyu Zhu

   Research Article 22 June 2015 Pages: 608 - 622

10. Cuckoo search with varied scaling factor

    • Lijin Wang
    • Yilong Yin
    • Yiwen Zhong

    Research Article 06 June 2015 Pages: 623 - 635

11. Basic theorem as representation of heterogeneous concept lattices

    • Jozef Pócs
    • Jana Pócsová

    Research Article 07 March 2015 Pages: 636 - 642

12. Identification of cytokine via an improved genetic algorithm

    • Xiangxiang Zeng
    • Sisi Yuan
    • Quan Zou

    Research Article 03 November 2014 Pages: 643 - 651

13. Detecting differential expression from RNA-seq data with expression measurement uncertainty

    • Li Zhang
    • Songcan Chen
    • Xuejun Liu

    Research Article 18 April 2015 Pages: 652 - 663