| 論文題目 | 第一作者 | 發表年度 | 刊物/會議名稱 |
|---|---|---|---|
| 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 | 電子與信息學報 |
