国家自然科学基金(60425204)

作品数：3被引量：3H指数：1
导出分析报告
相关作者：郑晓梅张天更多>>
相关机构：南京中医药大学南京大学更多>>
相关期刊：《Journal of Computer Science & Technology》《计算机科学》更多>>
相关主题：程序插桩ECLIPSE插件ECLIPSEJAVAMODEL_CHECKING更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个基于Eclipse的通用Java程序插桩工具被引量：3
《计算机科学》2011年第7期139-143,169,共6页郑晓梅 
863国家高技术研究发展计划(2007AA010302);国家自然科学基金(60425204);江苏省自然科学基金(BK2007714);江苏省高校自然科学基金(07KJB10002)资助
插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代...
关键词：程序插桩 JAVA ECLIPSE插件 
XML联合签名
《计算机科学》2010年第8期208-213,247,共7页郑晓梅 张天 
863国家高技术研究发展计划(No.2007AA010302);国家自然科学基金(No.60425204);江苏省自然科学基金(No.BK2007714)资助
首先分析了目前Web服务架构中XML多方通信业务链的典型应用,并建立了相应的研究模型。基于此模型,提出了联合签名加密技术,以解决传统签名技术在此类应用中存在的重复签名、信息关联不严格等问题。同时,分析了通过现有XML签名规范实现...
关键词：XML多方通信业务链 联合签名 XML签名 XML联合签名 
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
《Journal of Computer Science & Technology》2006年第1期41-51,共11页赵建华 李宣东 郑滔 郑国梁 
Supported by the National Natural Science Foundation of China （Grant Nos. 60203009, 60233020 and 60425204）, the NSF of Jiangsu Province （Grant No. BK2003408） and the National Basic Research 973 Program of China （Grant No. 2002CB312001）.
Most of the timed automata reachability analysis algorithms in the literature explore the state spaces by enumeration of symbolic states, which use time constraints to represent a set of concrete states. A time constr...
关键词：formal method model checking timed automaton 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部