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

A measurement study on potential inter-domain routing diversity

IEEE Transactions on Network and Service Management 2012年第3期9卷 268-278页

作者： Hu, Chengchen Chen, Kai Chen, Yan Liu, Bin Vasilakos, Athanasios V. MoE Key Laboratory of Intelligent Networks and Network Security Department of Computer Science and Techonolgy Xi'An Jiaotong University Xi'an Shaanxi China Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong Department of Electrical Engineering and Computer Science Northwestern University Evanston IL United States Department of Computer Science and Technology Tsinghua University Beijing China Department of Computer and Telecommunications Engineering University of Western Macedonia GR 50100 Kozani Greece

In response to Internet emergencies, Internet resiliency is investigated directly through an autonomous system (AS) level graph inferred from policy-compliant BGP paths or/and traceroute paths. Due to policy-driven inter-domain routing, the physical connectivity does not necessarily imply network reachability in the AS-level graph, i.e., many physical paths are not visible by the inter-domain routing protocol for connectivity recovery during Internet outages. We call the invisible connectivity at the routing layer, which can be quickly restored for recovering routing failures by simple configurations, as the potential routing diversities. In this paper, we evaluate two kinds of potential routing diversities, which are recognized as Internet eXchange Points (IXPs) participant reconnection and peering policy relaxation. Using the most complete dataset containing AS-level map and IXP participants that we can achieve, we successfully evaluate the ability of potential routing diversity for routing recovery during different kinds of Internet emergencies. Encouragingly, our experimental results show that 40% to 80% of the interrupted network pairs can be recovered on average beyond policy-compliant paths, with rich path diversities and a little traffic shifts. Thus, this paper implies that the potential routing diversities are promising venues to address Internet failures. © 2004-2012 IEEE.

关键词： Recovery

来源：评论

学校读者我要写书评

暂无评论

Extending interface automata with Z notation

Extending interface automata with Z notation

引用

4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011

作者： Cao, Zining Wang, Hui National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 China Department of Computer Science and Technology Nanjing University of Aero. and Astro. Nanjing 210016 China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 China

In this paper, we propose a specification approach combining interface automata and Z language. This approach can be used to describe behavioural properties and data properties of software components. We also study th... 详细信息

ISBN: (纸本)9783642293191

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Towards energy-fairness in asynchronous duty-cycling sensor networks

Towards energy-fairness in asynchronous duty-cycling sensor ...

引用

IEEE Conference on computer Communications, INFOCOM 2012

作者： Li, Zhenjiang Mo, Li Liu, Yunhao School of Computer Engineering Nanyang Technological University Singapore Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong MOE Key Lab. for Information System Security School of Software Tsinghua University China

ISBN: (纸本)9781467307758

In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. We propose a mathematical model to describe the energy efficiency of such networks and observe that traditional sleep interval setting strategy, i.e., operating sensor nodes with identical sleep intervals, or intuitive control heuristics, i.e., greedily increasing sleep intervals of sensor nodes with high energy consumption rates, hardly perform well in practice. There is an urgent need to develop an efficient sleep interval control strategy for achieving fair and high energy efficiency. To this end, we theoretically formulate the Sleep Interval Control (SIC) problem and find it a convex optimization problem. By utilizing the convex property, we decompose the original problem and propose a distributed algorithm, called GDSIC. In GDSIC, sensor nodes can tune sleep intervals through a local information exchange such that the maximum energy consumption rate in the network approaches to be minimized. The algorithm is self-adjustable to the traffic load variance and is able to serve as a unified framework for a variety of asynchronous duty-cycling MAC protocols. We implement our approach in a prototype system and test its feasibility and applicability on a 50-node testbed. We further conduct extensive trace-driven simulations to examine the efficiency and scalability of our algorithm with various settings. © 2012 IEEE.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

A 680 V LDMOS on a thin SOI with an improved field oxide structure and dual field plate

引用

Journal of Semiconductors 2012年第5期33卷 44-47页

作者：王中健程新红夏超徐大伟曹铎宋朝瑞俞跃辉沈达身 State Key Laboratory of Functional Materials for Informatics Shanghai Institute of Micro-System&Information TechnologyChinese Academy of Sciences Graduate University of the Chinese Academy of Sciences Department of Electrical and Computer Engineering University of Alabama in Huntsville

A 680 V LDMOS on a thin SOI with an improved field oxide（FOX） and dual field plate was studied *** FOX structure was formed by an ＂oxidation-etch-oxidation＂ process,which took much less time to form,and had a low protrusion profile.A polysilicon field plate extended to the FOX and a long metal field plate was used to improve the specific *** optimized drift region implant for linear-gradient doping was adopted to achieve a uniform lateral electric *** a SimBond SOI wafer with a 1.5μm top silicon and a 3μm buried oxide layer,CMOS compatible SOI LDMOS processes are designed and implemented successfully. The off-state breakdown voltage reached 680 V,and the specific on-resistance was 8.2Ω·mm^2.

关键词： SOI LDMOS field oxide field plate breakdown voltage

来源：评论

学校读者我要写书评

暂无评论

Secure data retrieval of outsourced data with complex query support

Secure data retrieval of outsourced data with complex query ...

引用

32nd IEEE International Conference on Distributed Computing systems Workshops, ICDCSW 2012

作者： Zhu, Yan Ma, Di Wang, Shanbiao Beijing Key Laboratory of Internet Security Technology Peking University Beijing 100871 China Department of Computer and Information Science University of Michigan Dearborn MI 48128 United States Institute of Computer Science and Technology Peking University Beijing 100871 China

ISBN: (纸本)9781467314237

The ability to efficiently retrieve data in their encrypted form is important for the cloud to become a truly secure and practical data sharing platform. Although this field has attracted tremendous research attention in the past a few years, most existing solutions do not support efficient searches with complex query conditions. Also, there has been little work to explore various comparison methods to specify complex query conditions. In this paper, we propose a framework of multi-keyword secure data retrieval to meet the needs of secure data retrieval with complex query support by leveraging recent development in attribute-based encryptions. Moreover, we propose a novel cryptographic comparison method based on forward and backward deviation functions (FDF/BDF). This method supports dual range comparisons and tree-oriented keyword search, as well as almost constant complexity for large size of integer range. We also provide several authentication mechanisms for preventing unpermitted access and verifying validity of protocol output. We implement a prototype system and our experimental results demonstrate its efficiency for practical usage. © 2012 IEEE.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Detecting infeasible traces in process models

Detecting infeasible traces in process models

引用

14th International Conference on Enterprise information systems, ICEIS 2012

作者： Wang, Zhaoxia Wen, Lijie Zhu, Xiaochen Liu, Yingbo Wang, Jianmin School of Software Tsinghua University Beijing 100084 China Department of Computer Science and Technology Tsinghua University Beijing 100084 China Key Lab. for Information System Security Ministry of Education Beijing 100084 China National Laboratory for Information Science and Technology Beijing 100084 China Logistical Engineering University Chongqing 400016 China

ISBN: (纸本)9789898565105

Workflow testing is an important method of workflow analysis in design time. A challenging problem with trace-oriented test data generation in particular and trace-based workflow analysis in general is the existence of infeasible traces for which there is no input data for them to be executed. In this paper we build on the theory of workflow nets and introduce workflow nets where transitions have conditions associated with them. We then demonstrate that we can determine which execution traces, that are possible according to the control-flow dependencies, are actually possible taking the data perspective into account. This way we are able to more accurately determine in design time the infeasible traces caused by the correlation between transition conditions along this trace. Finally, we provide a solution to automatically detecting the shortest infeasible trace.

关键词： Infeasible traces Process models Workflow analysis

来源：评论

学校读者我要写书评

暂无评论

An research for formal verification of safety-critical software

An research for formal verification of safety-critical softw...

引用

2012 2nd International Conference on computer Application and system Modeling, ICCASM 2012

作者： Ma, Weigang Hei, Xinhong Key Laboratory of Computer Networks and Information Security Ministry of Education Xidian University Xi'an 710071 China School of Computer Science and Engineering Xi'an University of Technology Xi'an 710071 China

ISBN: (纸本)9789491216008

A verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML to model the function requirement and LTL to verify the safety requirements of the specification. The device specifications of railway interlocking system are modeled with UML, then translate into FSM. The safety specification is translated LTL and analyzed with NuSMV. We try to show the feasibility of improving the reliability and reducing revalidation efforts when designing and developing a decentralized railway signaling system. © The Authors.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

The optimization of replica distribution in the unstructured overlays

引用

science China(information sciences) 2012年第3期55卷 714-722页

作者： FENG GuoFu1,2 , LI WenZhong2, LU SangLu2, CHEN DaoXu2 & BUYYA Rajkumar3 1School of information science, Nanjing Audit University, Nanjing 210029, China 2State key laboratory of Novel Software technology, Nanjing University, Nanjing 210093, China 3department of computer science and Software Engineering, The University of Melbourne, Victoria 3010, Australia School of Information Science Nanjing Audit University Nanjing China State Key Laboratory of Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Software Engineering The University of Melbourne Victoria Australia

Replication is a widely used technique in unstructured overlays to improve content availability or system performance. A fundamental question often addressed by previous work focused on: how many replicas ought to be allocated for each data item given the fixed query rates and limited storage capability? In this paper, we have put forth two optimal replica distributions to achieve the highest success rate and the lowest message consumption. Especially, we have investigated the influence of item size on replica distribution. Our results show that Square-Root Replication, which is traditionally considered to be optimal, is not always the best choice. Our study offers a new deep understanding of resource managment in self-organized unstructured overlays.

关键词： unstructured overlay item size distribution query rate success rate expected search size

来源：评论

学校读者我要写书评

暂无评论

Software structure evaluation based on the interaction and encapsulation of methods

引用

science China(information sciences) 2012年第12期55卷 2816-2825页

作者： ZHENG QingHua 1,2,OU ZhiJiang 1,2,LIU Ting 1,YANG ZiJiang 3,HOU YuQiao 1,2 & ZHENG Chao 1,2 1 MOE key laboratory for Intelligent Networks and Network security,Xi'an Jiaotong University,Xian 710049,China 2 Shaanxi key laboratory of Satellite-terrestrial Network technology R&D,Xi'an Jiaotong University,Xian 710049,China 3 department of computer science,Western Michigan University,Michigan,USA MOE Key Laboratory for Intelligent Networks and Network Security Xi’an Jiaotong University Xian China Shaanxi Key Laboratory of Satellite-terrestrial Network Technology R&D Xi’an Jiaotong University Xian China Department of Computer Science Western Michigan University Michigan USA

Software structure is the most important factor affecting the quality of a *** evaluation of software structure is a foundational technique for software ***,the traditional evaluation criteria,such as "high cohesion and low coupling",are no longer appropriate for the new web applications,which are designed with a hierarchical framework.A novel approach is proposed in this paper to evaluate software quality based on the interaction and encapsulation of *** particular,two criteria for high quality software,the functional and hierarchical structure,are proposed to support widely used web *** cohesion and coupling and layer matching ratios between methods within a software package are calculated to determine whether the package is well implemented in terms of functional or hierarchical *** approach enables us to quantify the quality of a software system according to the structural types of its *** were carried out on 18 versions of Struts and six open-source software *** evaluation concurs with the intuition that minor upgrades,aimed at fixing bugs and adding minor functionality quickly,reduce software quality,whereas major upgrades,which normally clean up messy code and re-construct the software,improve software quality.

关键词： software structure evaluation method interaction method encapsulation functional structure hierarchical structure

来源：评论

学校读者我要写书评

暂无评论

Verifiable Fully Homomorphic Encryption scheme

Verifiable Fully Homomorphic Encryption scheme

引用

2012 2nd International Conference on Consumer Electronics, Communications and Networks, CECNet 2012

作者： Jin, Fangyuan Zhu, Yanqin Luo, Xizhao Department of Computer Science and Technology Soochow University Suzhou China Jiangsu Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou China

We construct a general Verifiable Fully Homomorphic Encryption, using the existed Fully Homomorphic Encryption schemes. The main appeal of the scheme is the verifiability of Evaluate function. Its security and other p... 详细信息

ISBN: (纸本)9781457714153

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：