检索结果-南通市图书馆

A Framework of Auto-Adapting Distributed Objectfor Mobile Computing

Journal of Computer Science & Technology 1999年第6期14卷 590-598页

作者：王晨周颖张德富 statekeylaboratoryofnovelsoftwaretechnology NanjingUniversityNanjing210093PR.China

The low bandwidth hinders the development of mobile *** providing relatively higher bandwidth on communication layer, constructing adaptable upper application is important. In this paper, a framework of autoadapting distributed object is proposed, and evaluating methods of object performance are given as well. Distributed objects can adjust their behaviors automaticallyin the framework and keep in relatively good performance to serve requests of remoteapplications. It is an efficient way to implement the performance transparency formobile clients.

关键词： distributed object mobile computing framework

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Checking Timed Automata for LinearDuration Properties

引用

Journal of Computer Science & Technology 2000年第5期15卷 423-429页

作者：赵建华 DangVanHung statekeylaboratoryofnovelsoftwaretechnology DepartmentofComputerScienceandTechnologyNanjingUniversityNanjing210093P.R.China InternationalInstituteforSoftwareTechnology UnitedNati

It is proved in this paper that checking a timed automaton M with respect to a linear duration property D can be done by investigating only the integral timed states of M. An equivalence relation is introduced in this paper to divide the infinite number of integral timed states into finite number of equivalence classes. Based on this, a method is proposed for checking whether M satisfies D. In some cases, the number of equivalence classes is too large for a computer to manipulate. A technique for reducing the search-space for checking linear duration property is also described. This technique is more suitable for the case in this paper than those in the literature because most of those techniques are designed for reachability analysis.

关键词： model checking duration calculus real-time system

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Cluster-Based Secure Active Network Environment

引用

Wuhan University Journal of Natural Sciences 2005年第1期10卷 142-146页

作者： CHENXiao-lin ZHOUJing-yang DAIHan LUSang-lu CHENGui-hai DepartmentofComputerScience ChuxiongNormalUnivcrsityChuxiong675000YunnanChina statekeylaboratoryofnovelsoftwaretechnology NanjingUniversityNanjing210093JiangsuChina

We introduce a cluster-based secure active network environment (CSANE) which separates the processing of IP packets from that of active packets in active routers. In this environment, the active code authorized or trusted by privileged users is executed in the secure execution environment (EE) of the active router, while others are executed in the secure EE of the nodes in the distributed shared memory (DSM) cluster. With the supports of a multi-process Java virtual machine and KeyNote, untrusted active packets are controlled to securely consume resource. The DSM consistency management makes that active packets can be parallely processed in the DSM cluster as if they were processed one by one in ANTS (Active Network Transport System). We demonstrate that CSANE has good security and scalability, but imposing little changes on traditional routers.

关键词： active networks security DSM

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：