检索结果-内蒙古大学图书馆

计算机应用 2011年第2期31卷 450-453页

作者：屠莉陈崚江阴职业技术学院计算机科学系江苏江阴214405 扬州大学信息工程学院江苏扬州225009 南京大学计算机软件新技术国家重点实验室南京210093

提出了一种流数据上的频繁项挖掘算法(SW-COUNT)。该算法通过数据采样技术挖掘滑动窗口下的数据流频繁项。给定的误差ε,SW-COUNT可以在O(ε-1)空间复杂度下,检测误差在εn内的数据流频繁项,对每个数据项的平均处理时间为O(1)。大量的... 详细信息

提出了一种流数据上的频繁项挖掘算法(SW-COUNT)。该算法通过数据采样技术挖掘滑动窗口下的数据流频繁项。给定的误差ε,SW-COUNT可以在O(ε-1)空间复杂度下,检测误差在εn内的数据流频繁项,对每个数据项的平均处理时间为O(1)。大量的实验证明,该算法比其他类似算法具有较好的精度质量以及时间和空间效率。

关键词：数据流频繁项滑动窗口采样技术数据挖掘

来源：评论

学校读者我要写书评

暂无评论

一种新的UCON的数据仓库安全模型

引用

小型微型计算机系统 2011年第3期32卷 426-429页

作者：翟志刚王建东毛宇光南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

使用控制模型(UCON)是作为下一代访问控制模型被提出的,一经提出就得到了广泛研究,其应用范围也得到了极大扩展.数据仓库安全问题的核心之一是安全模型的建立,结合基于角色访问控制模型(RBAC)和使用控制模型(UCON)建立了一个新的数据仓... 详细信息

使用控制模型(UCON)是作为下一代访问控制模型被提出的,一经提出就得到了广泛研究,其应用范围也得到了极大扩展.数据仓库安全问题的核心之一是安全模型的建立,结合基于角色访问控制模型(RBAC)和使用控制模型(UCON)建立了一个新的数据仓库安全模型RUCON.模型结构分为两部分,RBAC组件和UCON组件,管理安全、角色授权由RBAC组件负责,解决用户授权问题;客体权力、决策处理由UCON组件负责,解决属性易变性和访问持续性的问题.

关键词：访问控制 RBAC UCON 数据仓库

来源：评论

学校读者我要写书评

暂无评论

基于变异测试和OWL-S文档的Web服务测试用例生成

引用

计算机与数字工程 2011年第12期39卷 8-11页

作者：严满根许蕾南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还... 详细信息

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。

关键词： Web服务变异测试 OWL-S文档测试用例生成

来源：评论

学校读者我要写书评

暂无评论

采用动作时序逻辑的Web服务组合方法

引用

计算机科学与探索 2011年第3期5卷 208-220页

作者：周宁刘慧王红兵谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 东南大学计算机科学与工程学院南京210096

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 详细信息

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。

关键词：网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA)

来源：评论

学校读者我要写书评

暂无评论

整数漏洞现状研究

整数漏洞现状研究

引用

2011年全国通信安全学术会议

作者：王建东曾庆凯南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

目前,整数漏洞问题变得日益严重。本文着重于整数漏洞,从预防和检测两个方面分析了当前整数漏洞的研究现状,并对整数漏洞预防和检测的五个层次做了探讨。尤其在检测方面,不仅归纳总结了当前流行的检测方法,而且分别对静态分析和动态分... 详细信息

目前,整数漏洞问题变得日益严重。本文着重于整数漏洞,从预防和检测两个方面分析了当前整数漏洞的研究现状,并对整数漏洞预防和检测的五个层次做了探讨。尤其在检测方面,不仅归纳总结了当前流行的检测方法,而且分别对静态分析和动态分析、静态源代码检测和二进制代码检测做了详细的对比和分析,为整数漏洞的进一步研究提供参考。

关键词：整数漏洞预防静态检测动态检测

来源：评论

学校读者我要写书评

暂无评论

细粒度可信恢复文件系统

细粒度可信恢复文件系统

引用

2011年全国通信安全学术会议

作者：李小庆曾庆凯南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

提出了一种基于数据流依赖关系的细粒度可信恢复文件系统——ATRF(Automatic Trusted Recovery Filesystem),ATRF根据用户自定义的安全策略检测违反安全策略的非法用户行为,借助数据流依赖关系,定位非法用户和感染用户,并恢复其对文件... 详细信息

提出了一种基于数据流依赖关系的细粒度可信恢复文件系统——ATRF(Automatic Trusted Recovery Filesystem),ATRF根据用户自定义的安全策略检测违反安全策略的非法用户行为,借助数据流依赖关系,定位非法用户和感染用户,并恢复其对文件系统所做的非法操作。试验结果给出了原型系统性能开销和存储开销。

关键词：文件系统细粒度可信恢复数据流依赖安全策略

来源：评论

学校读者我要写书评

暂无评论

一种适于普适环境的P2P流媒体系统

一种适于普适环境的P2P流媒体系统

引用

第七届和谐人机环境联合学术会议（HHME2011)、第20届全国多媒体学术会议（NCMT2011）、第7届全国人机交互学术会议（CHCI2011）、第7届全国普适计算学术会议（PCC2011）

作者：谭良良时承凯叶保留南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

本文对基于P2P网络的视频数据传输系统做了一定的研究,为更好地应对普适环境下P2P网络中各个节点的差异性与动态性,提出在现有的P2P网络体系结构中加入Tracker服务器机制和Gossip机制混合的拓扑结构,结合了集中式目录和分布式控制的优点... 详细信息

本文对基于P2P网络的视频数据传输系统做了一定的研究,为更好地应对普适环境下P2P网络中各个节点的差异性与动态性,提出在现有的P2P网络体系结构中加入Tracker服务器机制和Gossip机制混合的拓扑结构,结合了集中式目录和分布式控制的优点,优化了节点的分划功能,增加了系统的鲁棒性。根据现有流行的视频传输系统,本文还提出在数据传输中基于QoS参数的数据片选择策略数据源选择策略,以便在网络传输速率的限制下,最大限度满足用户播放的速率。

关键词：普适环境 P2P系统 tracker机制 Gossip机制数据调度

来源：评论

学校读者我要写书评

暂无评论

基于边界剪枝的不确定场境下偏好查询技术

引用

计算机科学与探索 2011年第5期5卷 410-425页

作者：郑吉平秦小麟戴华南京航空航天大学计算机科学与技术系南京210016 南京大学计算机软件新技术国家重点实验室南京210093

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询... 详细信息

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询,用户查询等价于搜索建立的场境偏好空间(contextual preferencesspace,CPS)。根据具体应用需求,考虑了两种搜索方案:搜索最优的元组和返回top-k(k为用户指定)个元组。采用定量的方法对用户偏好进行建模。为了提高查询处理效率,提出两种搜索剪枝策略:边界剪枝(branch and bound searching,BBS)和偏序边界剪枝(partial value branch and bound space searching,pBBS)。最后,从I/O访问次数和CPU运行时间两个角度评价所提出的方法。

关键词：场境感知偏好查询处理边界剪枝 top-k

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机的JBoss中间件动态更新

基于虚拟机的JBoss中间件动态更新

引用

2011全国软件与应用学术会议(NASAC2011)

作者：姚燕顾天晓曹春马晓星南京大学计算机科学与技术系南京 210093 南京大学计算机软件新技术国家重点实验室南京 210093

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来... 详细信息

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来实现典型Java中间件JBoss系统的动态更新。该技术克服了既有技术不能支持内部类和自定义加栽器等缺陷，能够在微内核、构件容器以及应用程序等不同层面支持JBoss中间件及其上应用的动态更新。

关键词：软件中间件动态更新 JBoss系统 JDUS技术

来源：评论

学校读者我要写书评

暂无评论

面向方面程序的简化动态依赖图切片方法

引用

计算机科学与探索 2011年第3期5卷 229-237页

作者：张广泉黄静章晓芳刘长林苏州大学计算机科学与技术学院江苏苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210093

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 详细信息

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。

关键词：面向方面程序静态切片动态切片简化动态依赖图

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：