中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Incremental bisimulation abstraction refinement 会议论文 OAI收割 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) \| 收藏 \|
	language-theoretic abstraction refinement 会议论文 OAI收割 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012 Long Zhenyue; Calin Georgel; Majumdar Rupak; Meyer Roland \| 收藏 \|
	Research on a scalable parallel data mining algorithm 会议论文 OAI收割 5th International Joint Conference on INC, IMS, and IDC, Seoul, Korea, Republic of, 2009 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1 收藏 \|
	Parallel research of sequential pattern data mining algorithm 会议论文 OAI收割 Proceedings - International Conference on Computer Science and Software Engineering, CSSE, Wuhan, Hubei, China, 2008 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1; Wei1 收藏 \|
	controllable ring search for anonymous routing protocols in manets 会议论文 OAI收割 Third International Conference on Wireless and Mobile Communications 2007, ICWMC 07, Guadeloupe, Guadaloupe, 37319 Zhang Yang; Fan Zhihua \| 收藏 \|
	model checking value-passing processes 会议论文 OAI收割 8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07, Lin HM \| 收藏 \|