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]  [View PDF(463.89 K)]

Special Issue on Internetware of the Age

Editorial: Internetware of the Age
  Xiaoguang Mao and Xianping Tao
  2014,8(1):19-20 [Abstract]  [View PDF(84.24 K)]
CHECKERDROID : Automated Quality Assurance for Smartphone Applications
  Yepang Liu,Chang Xu,S.C. Cheung and Wenhua Yang
  2014,8(1):21-41 [Abstract]  [View PDF(387.31 K)]
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]  [View PDF(2.03 M)]
Towards Software Architecture and Mechanisms for Improving Runtime Variability of Internetware System
  Jiwei Liu and Xinjun Mao
  2014,8(1):67-94 [Abstract]  [View PDF(355.13 K)]

Regular Papers

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



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号