Search Results

Item hits: (Results 11-20 of 150)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	Incremental bisimulation abstraction refinement [会议论文] 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013 Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)
	A general noise-reduction framework for fault localization of Java programs [会议论文] Xu, Jian (1); Zhang, Zhenyu (2); Chan, W.K. (3); Tse, T.H. (4); Li, Shanping (1)
	on enumeration of polynomial equivalence classes [会议论文] SCIENCE CHINA Mathematics Wang TianZe; Lin DongDai
	interactive coupling between a tree and raindrops [会议论文] Yang Meng; Jiang Longsheng; Li Xiaosheng; Liu Youquan; Liu Xuehui; Wu Enhua
	physically based object withering simulation [会议论文] Liu Youquan; Chen Yanyun; Wu Wen; Max Nelson; Wu Enhua
	scalar multiplication on kummer surface revisited [会议论文] Lin Qiping; Zhang Fangguo
	set-theoretic foundation of parametric polymorphism and subtyping [会议论文] 16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September Castagna Giuseppe; Xu Zhiwu
	behavior-based trust in wireless sensor network [会议论文] 8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18, Huang L; Li L; Tan Q   |
	mimo techniques in cluster-based wireless sensor networks [会议论文] 8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18, Li J; Gu Y; Zhang W; Zhao BH   |
	integrating grid with cryptographic computing [会议论文] 2nd Information Security Practice and Experience Conference (ISPEC 2006), Hangzhou, PEOPLES R CHINA, APR 11-14, Jiang ZH; Lin DD; Xu L; Lin L   |

previous 1 2 3 4 5 6 7 8 9 10 11 next