call us. call us.

首页征集论文论文录用公告 原型竞赛SAT2013 TRUMES Workshop执行委员会程序委员会组织委员会联系方式会议地点 会议议程 特邀报告人 青年学者报告 会议注册 <>报销材料

   当前位置 - 论文录用公告
无标题文档

NASAC2013录用的投稿信息如下:


论文编号 论文标题 类型
NASAC1300012 Hybrid-fixing: 上下文一致性错误的正确修复 长文
NASAC1300114 CH-MMS:一种面向大数据存储系统的高效元数据集群管理方案 长文
NASAC1300070 一种数据驱动的服务构件组装推荐技术 长文
NASAC1300079 基于前馈和反馈控制的运行时虚拟资源动态分配 长文
NASAC1300104 支持透明集成的数据缓存机制及其实现 长文
NASAC1300031 一种基于蜕变关系和遗传算法的自动化软件测试方法 长文
NASAC1300037 云计算环境下隐私需求的描述与检测方法 长文
NASAC1300090 基于中间语言的JNI内存泄露检查 长文
NASAC1300025 上下文一致性错误处理对应用的影响——一个实证研究 长文
NASAC1300041 一种低延迟的面向小文件的分布式文件系统 长文
NASAC1300047 基于分组的代码克隆增量检测方法 长文
NASAC1300048 基于动态资源分配的服务化软件系统运行时自适应技术研究 长文
NASAC1300061 一个面向移动机器人控制的自适应软件框架 长文
NASAC1300080 基于进程代数的硬实时软件建模与分析的方法 长文
NASAC1300085 面向内存数据网格的分布式事务保障机制及其实现 长文
NASAC1300073 一种大规模代码克隆的检测方法 长文
NASAC1300099 满足原子事务的QoS感知的自适应服务选择 长文
NASAC1300134 面向软件密集型系统的软件体系结构可变性建模 长文
NASAC1300139 基于过程域的软件过程风险评估方法研究 长文
NASAC1300103 基于软件结构信息的文档与代码间可追踪性研究 长文
NASAC1300129 J2EE应用软件的架构安全评估方法 长文
NASAC1300136 基于C++代码插装的实时软件内存错误分析 长文
NASAC1300016 基于搜索的上下文一致性错误处理 短文
NASAC1300021 并发程序数据竞争检测方法 短文
NASAC1300040 基于实时UML顺序图的物联网交互模型 短文
NASAC1300042 面向软件动态演化的SA建模及其可演化性分析 短文
NASAC1300046 Smart SEP: 基于Web图形操作记录与回放的在线同步教学平台 短文
NASAC1300049 一种基于调用链分析的特征定位方法 短文
NASAC1300051 基于路径比较的Web 服务故障诊断 短文
NASAC1300057 一种基于社交网络服务的mashup连接子的设计与实现 短文
NASAC1300066 扩展方面机制的软件产品线可变性建模及实现 短文
NASAC1300071 Scratch: 一个基于Chrome浏览器的用户操作捕捉与回放工具 短文
NASAC1300076 基于AJAX的Web应用构件组装技术及工具 短文
NASAC1300100 一种支持资源演化的业务过程仿真方法 短文
NASAC1300102 MDA驱动统一配置的SaaS模型 短文
NASAC1300137 一种基于Hadoop的BIM云服务框架和空间位置检索算法 短文
NASAC1300138 全生命周期软件过程风险管理模型研究 短文
NASAC1300015 一个用户主导的情景数据集成应用构造环境 短文
NASAC1300033 C 程序数组越界的运行时验证技术研究与实现 短文
NASAC1300044 一种基于结构查询的UML设计模式识别方法 短文
NASAC1300045 基于EPMM的软件过程行为偏离诊断研究 短文
NASAC1300068 一种云计算环境下资源监控的数据传输算法 短文
NASAC1300075 中断容忍网络中一种激励相容的两跳路由协议 短文
NASAC1300078 支持依赖修复的热部署技术 短文
NASAC1300082 基于模型检验的BGP网络收敛性研究 短文
NASAC1300097 基于生态系统的开源社区特性研究 短文
NASAC1300109 一种基于浏览代价优化的电视网页重构方法 短文
NASAC1300117 MAMIS: 面向服务的分布式Agent 智能系统开发框架 短文
NASAC1300123 一种空间高效的外存字符串词典索引 短文
NASAC1300125 一个移动应用个性化集成框架的研究及其在Android平台的实现 短文
NASAC1300130 基于KAOS分析的企业目标规划研究 短文
NASAC1300133 基于决策树的评标风险分析模型的研究 短文
NASAC1300023 基于模型转换的综合航电系统配置信息的正确性验证方法研究 短文
NASAC1300026 资源管理模型的完整性及其检验 短文
NASAC1300028 PSC2GS:一个基于属性序列图的监控器生成工具 短文
NASAC1300032 Android平台下基于联网行为的软件安全检测方法 短文
NASAC1300050 接口Petri网及其黑盒理论 短文
NASAC1300058 基于用户会话的Web应用性能测试方法的研究 短文
NASAC1300059 基于日志挖掘的移动应用用户访问模型建模技术研究 短文
NASAC1300074 二路平衡动态布隆过滤器 短文
NASAC1300092 面向自主Web服务的注册中心模型及其实现技术 短文
NASAC1300095 基于用户反馈的构件评价 短文
NASAC1300106 基于MARTE的模型性能仿真分析 短文
NASAC1300116 基于场景切换的复杂网构软件演化 短文
NASAC1300118 一种智能手机上下文信息获取的代价模型及其应用 短文
NASAC1300120 弱共变-逆变模拟的公理刻画 短文
NASAC1300121 一种Web服务的QoS抽象模型和评估方法 短文
NASAC1300022 一个无痕插桩工具及其应用 短文
NASAC1300027 一种基于分层的云服务组合失效恢复机制 短文
NASAC1300052 一种面向多业务的Android平台移动应用开发框架 短文
NASAC1300060 POIDE-PHP:支持PHP应用的在线集成开发环境 短文
NASAC1300072 MobiTran:一种面向智能手机的PC版Web应用转化技术 短文
NASAC1300087 采用路径选择的回归测试用例集优化方法 短文
NASAC1300124 参数化运行时监控研究 短文
NASAC1300135 一个改进的超轻量级RFID认证协议 短文
NASAC1300105 一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法 短文
NASAC1300107 基于测试需求的互操作性测试用例生成方法 短文
NASAC1300062 基于构件的CPS组合服务模型 短文
NASAC1300077 一种基于测试数据和D-S证据理论的软件可信性度量模型 短文

 


Copyright @ 天津大学, 2012-2013 . All Rights Reserved