论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
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 |
电子与信息学报 |