论文
    论文题目 第一作者 发表年度 刊物/会议名称
    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 高技术通讯