CORC

在结果中检索

CORC

浏览/检索结果: 共57条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
A constraint-weaving approach to points-to analysis for AspectJ 期刊论文
Frontiers of Computer Science, 2014, 卷号: 8, 期号: 1, 页码: 52-68
Sun, Qiang (1); Chen, Yuting (1); Zhao, Jianjun (1)
收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16
带时间和资源约束的实例化过程模型验证方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Flow-insensitive type qualifier inference on programming languages allowing type casts 期刊论文
Computer Modelling and New Technologies, 2014, 卷号: 18, 期号: 2, 页码: 120-125
Li, Huisong (1)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
一种基于UML的网络安全体系建模分析方法 期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁; 刘玉岭; 连一峰; 黄亮
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
Handwritten Chinese/Japanese Text Recognition Using Semi-Markov Conditional Random Fields 期刊论文
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2013, 卷号: 35, 期号: 10, 页码: 2413-2426
Zhou, Xiang-Dong; Wang, Da-Han; Tian, Feng; Liu, Cheng-Lin; Nakagawa, Masaki
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
基于PVS的数据库安全策略形式化分析方法 期刊论文
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees 会议论文
5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012
Sun, Xiaoshan (1); Zhang, Yang (2); Cheng, Liang (2)
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16
confinement framework for encapsulating objects 期刊论文
Frontiers of Computer Science, 2013, 页码: 1-21
Shu Qin; Qiu Zongyan; Wang Shuling
收藏  |  浏览/下载：8/0  |  提交时间：2013/09/17
Detecting API documentation errors 期刊论文
ACM SIGPLAN Notices, 2013, 卷号: 48, 期号: 10, 页码: 803-815
Zhong, Hao (1); Su, Zhendong (2)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16

©版权所有 ©2017 CSpace - Powered by CSpace