南通市应用研究计划项目(K2007013)

作品数：3被引量：2H指数：1
导出分析报告
相关作者：邱建林顾翔严燕王杰华朱晓辉更多>>
相关机构：南通大学更多>>
相关期刊：《微电子学与计算机》《计算机应用》更多>>
相关主题：协议形式化描述测试用例生成方法B/S架构RAISE规范语言形式化描述更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
B/S架构下数据库远程备份与恢复的研究和实现被引量：1
《微计算机信息》2009年第36期161-163,共3页朱晓辉 王杰华 陈苏蓉 
基金申请人:王杰华;项目名称:基于脆弱数字语音水印的移动支付认证技术研究;基金颁发部门:江苏省教育厅(06KJD520152);基金申请人:王杰华;项目名称:基于数字水印的支付认证模型及其关键技术研究;基金颁发部门:南通市应用研究项目(K2007013)
设计并实现了基于B/S架构的数据库远程备份与恢复系统。管理员可以通过局域网或广域网对远程数据库进行异地备份与恢复及保存。通过对备份文件进行压缩,减小了备份文件的大小,大大缩短了网络传输时间;通过加密,保障了异地备份数据的安...
关键词：远程备份与恢复 压缩与解压 加密与解密 断点续传 
基于CSP和RSL的协议形式化描述技术研究
《微电子学与计算机》2009年第3期93-96,101,共5页顾翔 邱建林 
国家自然科学基金项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校自然科学基础研究项目(08KJB520009);南通市应用研究计划项目(K2007013);2005年南通大学博士启动基金项目;江苏省高校"青蓝工程"
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较...
关键词：形式化描述技术 通信顺序进程 RSL 
基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1
《计算机应用》2008年第6期1471-1474,共4页顾翔 邱建林 严燕 
国家自然科学基金资助项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划(05KJD520166);南通市应用研究计划(K2007013);2005年南通大学博士启动基金;南通大学自然科学基金项目(05Z057和06Z051);江苏省高校"青蓝工程"资助项目
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提...
关键词：协议测试 形式化描述 RAISE规范语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部