Search Results

Item hits: (Results 81-90 of 133)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	ontology-based query division and reformulation for heterogeneous information integration [期刊论文] Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 10, 页码: 2495-2506 Li Jian; Song Jing-Yu; Zhong Hua   |
	一种WS-BPEL流程的运行时监控方法 [期刊论文] 电子学报, 2007-01-01, 卷号: 35, 期号: z2, 页码: 174-178 陈今梁; 吴国全; 魏峻   |
	双重软件体系结构描述框架XYZ/ADL [期刊论文] 计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |
	基于DTE策略的安全域隔离Z形式模型 [期刊论文] 计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |
	htrdp evaluations on chinese information processing and intelligent human-machine interface [期刊论文] Frontiers of Computer Science in China, 2007-01-01, 卷号: 1, 期号: 1, 页码: 58-93 Liu Qun; Wang Xiangdong; Liu Hong; Sun Le; Tang Sheng; Xiong Deyi; Hou Hongxu; Lv Yuanhua; Li Wenbo; Lin Shouxun; Qian Yueliang   |
	what semantic equivalences are suitable for non-interference properties in computer security [会议论文] 9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878 Huang Xiaowei; Jiao Li; Lu Weiming   |
	an improved algorithm for eleman neural network by adding a modified error function [会议论文] 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, 43985 Zhang Zhiqiang; Tang Zheng; Tang GuoFeng; Vairappan Catherine; Wang XuGang; Xiong RunQun   |
	on the expressive power of qltl [会议论文] 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Wu Zhilin   |
	efficient state space reduction for automata by fair simulation [会议论文] International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19, Yi Jin; Zhang Wenhui   |
	adding delimited and composable control to a production programming environment [会议论文] 12th ACM SIGPLAN International Conference on Functional Programming, Freiburg, GERMANY, OCT 01-03, Flatt Matthew; Yu Gang; Findler Robert Bruce; Felleisen Matthias   |

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