论文
    论文题目 第一作者 发表年度 刊物/会议名称
    Utilization bound for periodic task set with composite deadline 2010 Computers and Electrical Engineering
    基于路网的不确定性轨迹预测 郭黎敏 2010 计算机研究与发展
    基于过程Agent的人力资源调度方法 何海清 2010 计算机工程与设计
    基于COQUALMO的缺陷预测与校准工具的设计与实现 库燕 2010 计算机工程与设计
    A new spectral method on triangles 李会元 2010 Spectral and High Order Methods for Partial Differential
    基于风险管理的软件开发过程模型及其复合实物期权分析 陈涛 2010 管理工程学报
    基于生命周期的软件项目知识管理模型研究 于本海 2010 图书情报工作
    适用于云计算的面向查询数据库数据分布策略 文明波 2010 计算机科学
    基于pCTL的循环优化测试用例自动生成方法 余侠 2010 小型微型计算机系统
    基于Web Services和工作流的遗留系统集成研究 方广铨 2010 微计算机应用
    BeyonDB:一种地理空间数据库矢量数据的授权与实现 张德胜 2010
    Energy-Efficient Contour Mapping Aggregation in Wireless Sensor Networks 安源 2010
    A REALISTIC MOBILITY MODEL FOR URBAN TRAFFIC SCENARIO IN VEHICULAR DELAY TOLERANT NETWORK 孙利民 2010
    Integral Attacks on Reduced-Round ARIA Block Cipher 李艳俊 2010
    Implementing Service-correlation Aware Service Selection 吴东尧 2010 ICSS20102010 International Conference on Service Sciences
    Detecting Data Inconsistency Failure of Composite Web Services through Parametric Stateful Aspect 吴国全 2010 2010 IEEE International Conference on Web Services (ICWS 2010)
    a mean shift algorithm based on modified parzen window for small target tracking 陈建军 2010 2010 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2010
    intelligent understanding of handwritten geometry theorem proving 姜映映 2010 14th ACM International Conference on Intelligent User Interfaces, IUI 2010
    let's play chinese characters - mobile learning approaches via culturally inspired group 田丰 2010 28th Annual CHI Conference on Human Factors in Computing Systems
    sketch animation techniques and applications based on mobile devices 尹婷婷 2010 2010 Asia-Pacific Conference on Wearable Computing Systems, APWCS 2010
    a developing framework for interactive temporal data visualization 罗雄飞 2010 The 3rd Visual Information Communication - International Symposium,VINCI 2010
    cooperative concept map based on cognitive model for visual analysis 杜一 2010 The 3rd Visual Information Communication - International Symposium,VINCI 2010
    UEMM:面向新一代用户界面的评估框架和方法 吕菲 2010 HHME会议论文集
    ASM-SPV: A Model Checker for Security Protocols 彭建华 2010
    AB-ACCS:一种云存储密文访问控制方法 洪澄 2010
    CloudSEC: A Cloud Architecture for Composing Collaborative Security Services 许佳 2010 2nd IEEE International Conference on Cloud Computing Technology and Science
    Some Improvements on Model Checking CoreASM Models of Security Protocols 赵振举 2010
    一类同时具有非局部源和局部化源的双重退化抛物型方程正解的爆破性及整体有界性 吴学凇 2010
    面向知识工作者的个人信息管理模型 陈明炫 2010 工程图学学报
    基于直方图插值的均值移动小尺寸目标跟踪算法 陈建军 2010 电子与信息学报