Volume 3,Issue 1,2009 Table of Contents

   
Other Issues:  
  

Special Section on Selected Papers from PRICAI2008

Preface
  Tu Bao Ho,Zhi-Hua Zhou and Hiroshi Motoda
  Published 1月 30日, 2009
  2009,3(1):1-2 [Abstract]  [View PDF(65.86 K)]
  
State-Based Regression with Sensing and Knowledge
  Richard Scherl,Tran Cao Son and Chitta Baral
  Published 1月 30日, 2009
  2009,3(1):3-30 [Abstract]  [View PDF(405.25 K)]
  
Temporal Data Mining for Educational Applications
  Paul R. Cohen and Carole R. Beal
  Published 1月 30日, 2009
  2009,3(1):31-46 [Abstract]  [View PDF(1.55 M)]
  
Propositional Attitudes and Causation
  Konstantine,Arkoudas and Bringsjord
  Published 1月 30日, 2009
  2009,3(1):47-65 [Abstract]  [View PDF(1.02 M)]
  

Regular Papers

Verification of an Incremental Garbage Collector in Hoare-Style Logic
  Chunxiao Lin,Yiyun Chen and and Bei Hua
  Published 1月 30日, 2009
  2009,3(1):67-88 [Abstract]  [View PDF(1.19 M)]
  
Secure—I*: Engineering Secure Software Systems through Social Analysis
  Lin Liu,Eric Yu and John Mylopoulos
  Published 1月 30日, 2009
  2009,3(1):89-120 [Abstract]  [View PDF(11.55 M)]
  

 

 

more>>  
Visitor:1717238
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号