中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 11-20 of 38)

Items/Page:    Sort:
runtime verification of data-centric properties in service based systems [会议论文]
2nd International Conference on Runtime Verification, RV 2011, San Francisco, CA, United states, September 27, 2011 - September 30, 2011
Wu Guoquan; Wei Jun; Ye Chunyang; Shao Xiaozhe; Zhong Hua; Huang Tao

 
event-driven process execution model for process virtual machine [期刊论文]
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2012-01-01, 卷号: 18, 期号: 8, 页码: 1675-1685
Wu Dong-Yao; Wei Jun; Gao Chu-Shu; Dou Wen-Shen

 
a multi-cycle checkpointing protocol that ensures strict 1-rollback [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 20, 页码: 788-793
Ci Yi-Wei; Zhang Zhan; Zuo De-Cheng; Wu Zhi-Bo; Yang Xiao-Zong
  |  
 
specification and monitoring of data-centric temporal properties for service-based systems [期刊论文]
Journal of Systems and Software, 2012-01-01, 卷号: 85, 期号: 12, 页码: -
Wu Guoquan; Wei Jun; Ye Chunyang; Zhong Hua; Huang Tao; He Hong
  |  
 
calibration of central catadioptric camera with one-dimensional object undertaking general motions [会议论文]
2011 18th IEEE International Conference on Image Processing, ICIP 2011, Brussels, Belgium, September
Deng Xiaoming; Wu Fuchao; Wu Yihong; Chang Liang; Liu Wei; Wang Hongan

 
key management scheme of wireless sensor networks based on polynomial and ring-tree network topology [会议论文]
3rd International Conference on Multimedia Information Networking and Security, MINES 2011, Shanghai, China, November 4
Wei Hongru; Yang Kejia; Wu Rui; Chen Cui

 
non-linear beam tracing on a gpu [期刊论文]
COMPUTER GRAPHICS FORUM, 2011-01-01, 卷号: 30, 期号: 8, 页码: 2156-2169
Liu Baoquan; Wei Li-Yi; Yang Xu; Ma Chongyang; Xu Ying-Qing; Guo Baining; Wu Enhua

 
stable cohesion metrics for evolving ontologies [期刊论文]
Journal of Software Maintenance and Evolution, 2011-01-01, 卷号: 23, 期号: 5, 页码: 343-359
Ma Yinglong; Wu Haijiang; Ma Xinyu; Jin Beihong; Huang Tao; Wei Jun

 
a practical covert channel identification approach in source code based on directed information flow graph [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Wu JingZheng; Ding Liping; Wang Yongji; Han Wei
  |  
 
runtime monitoring of data-centric temporal properties for web services [会议论文]
2011 IEEE 9th International Conference on Web Services, ICWS 2011, Washington, DC, United states, 4-Jul-20
Wu Guoquan; Wei Jun; Ye Chunyang; Shao Xiaozhe; Zhong Hua; Huang Tao
  |  
 

previous 1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace