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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
constructing a data accessing layer for in-memory data grid [会议论文]
4th Asia-Pacific Symposium on Internetware, Internetware 2012, Qingdao, China, October 30, 2012 - October 31, 2012
Ji Shuping; Wang Wei; Ye Chunyang; Wei Jun; Liu Zhaohui

 
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

 
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
  |  
 
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
  |  
 
partial constraint checking for context consistency in pervasive computing [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010-01-01, 卷号: 19, 期号: 3, 页码: -
Xu Chang; Cheung S. C.; Chan W. K.; Ye Chunyang
  |  
 
timed modeling and verification of bpel processes using time petri nets [会议论文]
9th International Conference on Quality Software, QSIC 2009, Jeju, Korea, Republic of, August 24,
Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian

 
a study on the replaceability of context-aware middleware [会议论文]
1st Asia-Pacific Symposium on Internetware, Internetware 2009, Beijing, China, 40833
Ye Chunyang; Cheung S.C.; Wei Jun; Zhong Hua; Huang Tao

 

1

 

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