中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In