| 论文题目 | 第一作者 | 发表年度 | 刊物/会议名称 |
|---|---|---|---|
| On-Demand Streaming Network Architectures and Techniques | 许长桥 | 2007-3-5 | 35届亚洲信息通信网络结构及技术 |
| An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration | 刘强 | 2007-3-4 | Journal of Computer Science and Technology |
| Ensuring High Performance In Validating XML Parser | 曹冬磊 | 2007-3-3 | WEBIST 2007 |
| Point-in-polygon Tests by Convex Decomposition | 李静 | 2007-3-2 | COMPUTERS & GRAPHICS |
| Developing Event-condition-action Rules in Real-time Active Database | 乔颖 | 2007-3-11 | ACM Symposium on Applied computing 2007 |
| Mechanized Proofs for the Parameter Abstraction and Guard Strengthening Principle... | 李勇坚 | 2007-3-11 | Applied Computing 2007 |
| Automatic Enactment of Message Exchange Pattern for Web Services | 程新武 | 2007-3-11 | ACM 2007 |
| 基于度量工具的软件成本估算模型使用方法 | 袁荣 | 2007-3-11 | 计算机工程与应用 |
| 结合人眼视觉特性的率失真优化帧刷新算法 | 徐进 | 2007-3-1 | 通信学报 |
| A formal model for access control with supporting spatial context | 张宏 | 2007-3-1 | 中国科学 F辑 |
| 基于共享位置的petri网系统综合与保性 | 焦莉 | 2007-3-1 | 计算机学报 |
| Simulation and Interaction of Fluid Dynamics | 吴恩华 | 2007-3-1 | Visual Comput |
| Design of Secure Operating Systems with High Security Levels | 卿斯汉 | 2007-3-1 | 中国科学 F辑 |
| 一个支持可信主体特权最小化的多级安全模型 | 武延军 | 2007-3-1 | 软件学报 |
| 无线传感器网络基于行为的信任体系的仿真 | 黄蕾 | 2007-3-1 | 计算机仿真 |
| 一种基于谓词规则的复杂文字处理模型 | 贾彦民 | 2007-3-1 | 计算机研究与发展 |
| 一种信息系统服务可扩展机制的研究 | 张毅 | 2007-2-23 | 计算机应用研究 |
| Expansive-Bisimulation for Context-Free Processes | 柳欣欣 | 2007-2-2 | Formal Methods and Hybrid Real-Time Systems |
| Verification of ACTL Properties by Bounded Model Checking | 张文辉 | 2007-2-1 | Computer Aided Systems Theory-EUROCAST2007 |
| 约束问题求解 | 季晓慧 | 2007-2-1 | 自动化学报 |
| 基于中介面加快光线跟踪计算 | 黄沛杰 | 2007-2-1 | 计算机学报 |
| 基于ICU的复杂文本布局引擎设计与跨平台应用研究 | 周扬荣 | 2007-2-1 | 计算机应用研究 |
| 一个支持空间上下文的访问控制形式模型 | 张宏 | 2007-2-1 | 中国科学 E辑 信息科学 |
| 基于口令的安全协议的模块化设计与分析 | 冯登国 | 2007-2-1 | 中国科学 E辑 信息科学 |
| 基于非连续短语的统计翻译模型研究 | 张大鲲 | 2007-2-1 | 中文信息学报 |
| 无线Web访问的缓存和预取机制 | 金蓓弘 | 2007-2-1 | 计算机科学与探索 |
| 新一代高性能计算系统Benchmark软件包框架研究 | 张云泉 | 2007-2-1 | 高性能计算技术 |
| 基于非连续短语的统计翻译模型研究 | 张大鲲 | 2007-2-1 | 中文信息学报 |
| 一种基于本地网络的蠕虫协同检测方法 | 张新宇 | 2007-2-1 | 软件学报 |
| 对三个流密码及其组件的随机性检测分析 | 范丽敏 | 2007-2-1 | 高技术通讯 |
