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

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	detect and optimize the energy consumption of mobile app through static analysis: an initial research [会议论文] 4th Asia-Pacific Symposium on Internetware, Internetware 2012, Qingdao, China, October 30, 2012 - October 31, 2012 Wang Jingtian; Wu Guoquan; Wu Xiaoquan; Wei Jun
	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 \|


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