CSpace

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
面向服务的建模:一种全过程复用的方法 期刊论文
计算机学报, 2008, 卷号: 031, 期号: 008, 页码: 1293
Authors:  吴步丹;  金芝;  赵彬
Favorite  |  View/Download:4/0  |  Submit date:2020/01/10
Extension of a list coloring problem 期刊论文
APPLIED MATHEMATICS LETTERS, 2006, 卷号: 19, 期号: 2, 页码: 135-139
Authors:  Wu, BD;  Zhang, L
Favorite  |  View/Download:6/0  |  Submit date:2018/07/30
list coloring  list assignment  choice number  
支持Web Services语义组合的框架IRS-Ⅱ:分析与讨论 期刊论文
计算机科学, 2006, 卷号: 033, 期号: 002, 页码: 13
Authors:  吴步丹;  何丕廉;  金芝
Favorite  |  View/Download:3/0  |  Submit date:2020/01/10
需求驱动的web服务建模及其验证一个基于本体的方法 期刊论文
中国科学e辑技术科学, 2006, 卷号: 36, 期号: 10, 页码: 1189
Authors:  侯丽珊;  金芝;  吴步丹
Favorite  |  View/Download:9/0  |  Submit date:2020/01/10
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文
中国科学E辑:信息科学, 2006, 页码: 1189-1219
Authors:  侯丽珊;  金芝;  吴步丹
Favorite  |  View/Download:0/0  |  Submit date:2021/01/14
Web服务  环境本体  自动组合  π演算  形式化验证  
A note on 3-choosability of planar graphs without certain cycles 期刊论文
DISCRETE MATHEMATICS, 2005, 卷号: 297, 期号: 1-3, 页码: 206-209
Authors:  Zhang, L;  Wu, BD
Favorite  |  View/Download:6/0  |  Submit date:2018/07/30
planar graph  cycle  choosability