Volume 3,Issue 1,2009 Table of Contents

   
Other Issues:  
  

Special Section on Selected Papers from PRICAI2008

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:3141066
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

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

京公网安备 11040202500065号