A high order collaboration and real time formal model for automatic testing of safety critical systems Jianghua LvShilong MaJiangong Song Research Article 23 May 2015 Pages: 495 - 510
Efficient approach of translating LTL formulae into Büchi automata Laixiang ShanXiaomin DuZheng Qin Research Article 08 April 2015 Pages: 511 - 523
Understanding and identifying latent data races cross-thread interleaving Long ZhengXiaofei LiaoHai Jin Research Article 22 June 2015 Pages: 524 - 539
Runtime model based approach to IoT application development Xing ChenAipeng LiGang Huang Research Article 06 June 2015 Pages: 540 - 553
Software crowdsourcing for developing Software-as-a-Service Xiaolan XuWenjun WuYuchuan Wu Research Article 04 May 2015 Pages: 554 - 565
Exploiting write power asymmetry to improve phase change memory system performance Qi WangDonghui WangChaohuan Hou Research Article 07 March 2015 Pages: 566 - 575
XGRouter: high-quality global router in X-architecture with particle swarm optimization Genggeng LiuWenzhong GuoGuolong Chen Research Article 29 July 2015 Pages: 576 - 594
Active transfer learning of matching query results across multiple sources Jie XinZhiming CuiTianxu He Research Article 08 April 2015 Pages: 595 - 607
Combining long-term and short-term user interest for personalized hashtag recommendation Jianjun YuTongyu Zhu Research Article 22 June 2015 Pages: 608 - 622
Cuckoo search with varied scaling factor Lijin WangYilong YinYiwen Zhong Research Article 06 June 2015 Pages: 623 - 635
Basic theorem as representation of heterogeneous concept lattices Jozef PócsJana Pócsová Research Article 07 March 2015 Pages: 636 - 642
Identification of cytokine via an improved genetic algorithm Xiangxiang ZengSisi YuanQuan Zou Research Article 03 November 2014 Pages: 643 - 651
Detecting differential expression from RNA-seq data with expression measurement uncertainty Li ZhangSongcan ChenXuejun Liu Research Article 18 April 2015 Pages: 652 - 663