Volume 8,Issue 1,2014 Table of Contents

   
Other Issues:  
  

Message of the Spring

Recent Progress in Software Testing, Debugging and Analysis: A Survey
  Dan Hao and Hong Mei
  2014,8(1):1-17 [Abstract(2512)]  [View PDF 463.89 K (3183)]
  

Special Issue on Internetware of the Age

Editorial: Internetware of the Age
  Xiaoguang Mao and Xianping Tao
  2014,8(1):19-20 [Abstract(1904)]  [View PDF 84.24 K (1683)]
  
CHECKERDROID : Automated Quality Assurance for Smartphone Applications
  Yepang Liu,Chang Xu,S.C. Cheung and Wenhua Yang
  2014,8(1):21-41 [Abstract(2255)]  [View PDF 387.31 K (1927)]
  
A Cooperation Framework Towards the Internet of Applications
  Peilong Xu,Zhe Zhang,Hailong Sun,Richong Zhang and Xudong Liu
  2014,8(1):43-66 [Abstract(3378)]  [View PDF 2.03 M (1699)]
  
Towards Software Architecture and Mechanisms for Improving Runtime Variability of Internetware System
  Jiwei Liu and Xinjun Mao
  2014,8(1):67-94 [Abstract(1901)]  [View PDF 355.13 K (1665)]
  

Regular Papers

Efficient Policy Analysis for Evolving Administrative Role Based Access Control
  Mikhail I. Gofman and Ping Yang
  2014,8(1):95-131 [Abstract(2373)]  [View PDF 1.55 M (2179)]
  
Description Logics are Hybrid Multi-Modal Logics
  Yuefei Sui and Meiying Sun
  2014,8(1):133-142 [Abstract(2135)]  [View PDF 195.77 K (1809)]
  

 
 

more>>  
Visitor:3203516
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号