您现在的位置:首页> 外军国防科技报告> 美国国防高级研究计划局
机译 网络分组调度攻击下网络物理系统的Minimax控制
机译 重放攻击检测的随机游戏方法
机译 对平台感知攻击弹性控制系统的综合
机译 分离逻辑中行为保持动作的一个案例
机译 并发线程管理的模块化验证
机译 通过上下文细化表征并发对象的进度属性
机译 婴儿虚拟内存管理器的组合验证
机译 证明锁定自由的定量推理
机译 证据工具总线的数据记录语义
机译 安全的安全信封
机译 注释树:LDC的可定制,可扩展,可扩展的注释基础结构
机译 重新研究阿拉伯语光学字符识别的语言和语义特征
机译 手写识别与翻译评价的语言资源
机译 2013年NIST开放手写识别和翻译评估的语言资源
机译 重新研究阿拉伯语光学字符识别的语言和语义特征
机译 多资源分配:统一框架下的公平效率权衡
机译 基于约束的云资源配置,最大限度地提高任务效率
机译 私有和可验证的域间路由决策
机译 Cloudopsy:对云中数据流的验证
机译 通过进度专业化对并行程序进行合理有效的分析