| 論文題目 | 第一作者 | 發表年度 | 刊物/會議名稱 |
|---|---|---|---|
| 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 | 高技術通訊 |
