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

IEEE International Conference on Communications

作者： Jianwei Niu Wenfang Song Lei Shu Mohammed Atiquzzaman State Key Laboratory of Software Development Environment Beihang University Beijing China Guangdong Petrochemical Equipment Fault Diagnosis Key Lab Guangdong University of Petrochemical Technology China School of Computer Science University of Oklahoma Norman OK China

Partitioning and offloading some parts of mobile applications onto remote servers is a promising approach to extend the battery life of mobile devices. However, since available network bandwidths vary in a wireless environment, static partitionings proposed by previous works with a fixed bandwidth assumption are unsuitable for mobile platforms, while dynamic partitionings result in high overhead due to continuously partitioning. Targeting this problem, we propose a novel partitioning scheme taking the bandwidth as a variable to improve static partitioning and avoid high costs of dynamical partitioning. Based on the application Object Relation Graph, we propose a partitioning optimization model and two bandwidth-adaptive partitioning algorithms: Branch-and-Bound based Application Partitioning (BBAP) and Min-Cut based Greedy Application Partitioning (MCGAP). BBAP is suitable for obtaining the optimal partitionings for small applications, while MCGAP is applicable to large-scale applications by quickly obtaining suboptimal solutions. Experimental results demonstrate that both algorithms can adapt to bandwidth fluctuations well, and significantly reduce the execution time and energy consumption by optimally distributing components between mobile devices and servers.

关键词： Bandwidth Mobile handsets Energy consumption Partitioning algorithms Servers Optimization Mobile communication

来源：评论

学校读者我要写书评

暂无评论

Security Analysis and Enhancement of a Dynamic Identity Based Authentication Scheme Using Smart Cards

Security Analysis and Enhancement of a Dynamic Identity Base...

引用

International Symposium on Biometrics and Security Technologies, ISBAST

作者： Xiong Li Jianwei Niu Muhammad Khurram Khan Junguo Liao School of Computer Science and Engineering Hunan University of Science and Technology Xiangtan China State Key Laboratory of Software Development Environment Beihang University Beijing China Center of Excellence in Information Assurance King Saud University Riyadh Saudi Arabia

Remote user authentication is an important and efficient method to ensure security for many network-based application systems. So far, several dynamic identity based authentication schemes have been proposed to protect the user's anonymity. Recently, Sood pointed out the security weaknesses of a dynamic identity based authentication scheme, which was proposed by Wang et al. presented an improved scheme. However, in this paper, we demonstrate that Sood's scheme cannot resist leak of verifier attack, impersonation attack and server spoofing attack. Furthermore, Sood's scheme cannot achieve mutual authentication between the user and the server. Consequently, in this paper, we propose a new dynamic identity based user authentication scheme using elliptic curve cryptosystem to resolve all the aforementioned problems.

关键词： Servers Authentication Smart cards Resists Elliptic curve cryptography Bismuth

来源：评论

学校读者我要写书评

暂无评论

Robust Biometrics Based Three-Factor Remote User Authentication Scheme with key Agreement

Robust Biometrics Based Three-Factor Remote User Authenticat...

引用

International Symposium on Biometrics and Security Technologies, ISBAST

Recently, An pointed out the weaknesses of Das's three-factor remote user authentication scheme, and proposed an improved biometric based three-factor remote user authentication scheme. An's scheme improves the security problems of previous schemes while keeping the efficiency. However, after detailed analysis, we find that An's scheme exists some weaknesses such as vulnerable to denial-of-service (DoS) attack and forgery attack, and does not provide session key agreement. In order to provide high-level of security and more useful functions, we design a new robust biometric based three-factor remote user authentication scheme with key agreement using elliptic curve cryptosystem.

关键词： Authentication Biometrics (access control) Silicon Smart cards Servers Elliptic curve cryptography

来源：评论

学校读者我要写书评

暂无评论

Test algebra for combinatorial testing

Test algebra for combinatorial testing

引用

International Workshop on Automation of software Test (AST)

作者： Wei-Tek Tsai Charles J. Colbourn Jie Luo Guanqiu Qi Qingyang Li Xiaoying Bai School of Computing Informatics and Decision Systems Arizona State University Tempe AZ USA Arizona State University Tempe AZ US State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Department of Computer Science and Technology INLIST Tsinghua University Beijing China

ISBN: (纸本)9781467361620

This paper proposes a new algebraic system, Test Algebra (TA), for identifying faults in combinatorial testing for SaaS (software-as-a-Service) applications. SaaS as a part of cloud computing is a new software delivery model, and mission-critical applications are composed, deployed, and executed in cloud platforms. Testing SaaS applications is a challenging task because new applications need to be tested when they are composed before they can be deployed for execution. Combinatorial testing algorithms can be used to identify faulty configurations and interactions from 2-way all the way to k-way where k is the number of components in the application. The TA defines rules to identify faulty configurations and interactions. Using the rules defined in the TA, a collection of configurations can be tested concurrently in different servers and in any order and the results obtained will be still same due to the algebraic constraints.

关键词： Testing software as a service Servers Fault diagnosis Algebra Scalability Program processors

来源：评论

学校读者我要写书评

暂无评论

Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems

Adaptive Fault Detection for Testing Tenant Applications in ...

引用

IEEE International Conference on Cloud engineering (IC2E)

作者： W.T. Tsai Qingyang Li Charles J. Colbourn Xiaoying Bai School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA State Key Laboratory of Software Development Environment Beihang University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China

SaaS (software-as-a-Service) often uses multi-tenancy architecture (MTA) where tenant developers compose their applications online using the components stored in the SaaS database. Tenant applications need to be tested, and combinatorial testing can be used. While numerous combinatorial testing techniques are available, most of them produce static sequences of test configurations and their goal is often to provide sufficient coverage such as 2-way interaction coverage. But the goal of SaaS testing is to identify those compositions that are faulty for tenant applications. This paper proposes an adaptive test configuration generation algorithm AR (Adaptive Reasoning) that can rapidly identify those faulty combinations so that those faulty combinations cannot be selected by tenant developers for composition. The AR algorithm has been evaluated by both simulation and real experimentation using a MTA SaaS sample running on GAE (Google App Engine). Both the simulation and experiment showed show that the AR algorithm can identify those faulty combinations rapidly. Whenever a new component is submitted to the SaaS database, the AR algorithm can be applied so that any faulty interactions with new components can be identified to continue to support future tenant applications.

关键词： Testing software as a service Color Databases Image color analysis Fault location

来源：评论

学校读者我要写书评

暂无评论

Social-aware Relay Node Selection in Delay Tolerant Networks

Social-aware Relay Node Selection in Delay Tolerant Networks

引用

International Conference on computer Communications and Networks

作者： Kaimin Wei Deze Zeng Song Guo Ke Xu State Key Laboratory of Software Development Environment Beihang University China School of Computer Science and Engineering University of Aizu Japan

In Delay Tolerant Networks (DTNs), the connections between mobile nodes are intermittent and constant end-to-end paths rarely exist. In order to achieve high delivery ratio, most existing DTN routing algorithms favor the "multi-hop forwarding" fashion where a message can be forwarded by multiple relay nodes in the hope that one of the employed relay nodes can deliver the message to the destination node. Since aggressively employing relay nodes may incur intolerable delivery cost to resource-constrained mobile nodes in DTNs, it is significant to design a cost-efficient routing protocol that can achieves high delivery ratio. In this paper, we first utilize the small-world feature to limit the maximum forwarding hops in a reasonable way and then propose a greedy relay node selection strategy. A cost-efficient social-aware forwarding algorithm called TBSF (the-best-so-far) is then presented. Extensive simulations on real mobility traces are conducted to evaluate the performance of TBSF. Simulation results show that, in comparison with several well-known routing algorithms, TBSF can achieve high performance in terms of delivery ratio and delivery delay while with much lower delivery cost.

关键词： DTNs TBSF delivery ratio

来源：评论

学校读者我要写书评

暂无评论

A precise approach to tracking dim-small targets using spectral fingerprint features

引用

Frontiers of computer science 2012年第5期6卷 527-536页

作者： Hao SHENG Chao LI Yuanxin OUYANG Zhang XIONG School of Computer Science and Engineering Beihang UniversityBeijing 100191China Research Institute of Beihang University in Shenzhen Shenzhen 518057China State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China

A precise method for accurately tracking dim- small targets, based on spectral fingerprint is proposed where traditional full color tracking seems impossible. A fingerprint model is presented to adequately extract spectral features. By creating a multidimensional feature space and extending the limited RGB information to the hyperspectral information, the improved precise tracking model based on a nonparamet- ric kernel density estimator is built using the probability his- togram of spectral features. A layered particle filter algorithm for spectral tracking is presented to avoid the object jumping abruptly. Finally, experiments are conducted that show that the tracking algorithm with spectral fingerprint features is ac- curate, fast, and robust. It meets the needs of dim-small target tracking adequately.

关键词： dim-small target precise tracking spectral fingerprint features LPF algorithm for spectral tracking

来源：评论

学校读者我要写书评

暂无评论

A efficient and robust method for complexly faulted horizon reconstruction based on meshes cutting and interpolating

A efficient and robust method for complexly faulted horizon ...

引用

2012 IEEE International Conference on computer science and Automation engineering, CSAE 2012

作者： Li, Jigang Meng, Xianhai Li, Yufeng Yang, Qin State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9781467300865

3d-geological modeling is a means of improving data interpretation through visualization, as well as a way to generate support for numerical simulations of complex phenomena. Reconstructing horizons from scattered point clouds is an omnipresent task in 3d-geological modeling. As the geometrical representation of faults network is not watertight in the process of modeling for the reason of efficiency, the reconstructed horizons cut by the fault network are often topological inconsistency. A robust and efficient method to reconstruct topologically and geometrically consistent horizons based on meshes cutting and Discrete Smooth Interpolation (DSI) is proposed to tackle this problem. By representing the faults network with both triangular and rectangular mesh, and under the guide of macro spatial topology, the initial continuous mesh of a horizon could be cut by the faults network efficiently and robustly. DSI is adopted to further adjust the non-manifold mesh of horizon to their proper position while keeping the topological contact relation unchanged. The result shows that the horizons reconstructed are consistent. It indicates that the method can solve the inconsistency of the horizons caused by the inconsistency of the faults network. © 2012 IEEE.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

3D structural geological modeling based on morphing field 1

引用

International Conference on Information engineering and Applications, IEA 2011

作者： Xianhai, Meng Jigang, Li Qin, Yang State Key Laboratory of Software Development Environment School of Computer Science and Engineering BeiHang University Beijing 100191 China

ISBN: (数字)9781447123866

ISBN: (纸本)9781447123859

Strata are continuous surface by sediment, which form fractured and discontinuous geological layers during strata moving. In 3D structural geological modeling, how to describe fractured geological layers well and truly is a complicated problem. Now most software such as RCRC's 3D Earth Modeling, Petrel's advanced 3D Reservoir Modeling, ROXAR's RMS, T-Surf's GOCAD, create strata by user interactive editing during 3D geological modeling. Only little commercial software such as DGI's Earth Vision Modeling System realizes the function of creating discontinuous strata by strata point set and faults directly. At present, we can't yet search correlative algorithm in open literature. © 2012 Springer-Verlag London Limited.

关键词： Geology

来源：评论

学校读者我要写书评

暂无评论

A formal semantics for program debugging

引用

science China(Information sciences) 2012年第1期55卷 133-148页

作者： LI Wei1&LI Ning1,2 1state key laboratory of software development environment,school of computer science and engineering,Beihang University,Beijing 100191,China 2China Ship Research and development Academy,Beijing 100192,China 1. State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing 100191 China2. China Ship Research and Development Academy Beijing 100192 China

This work aims to build a semantic framework for automated debugging.A debugging process consists of tracing,locating,and fixing processes *** first two processes are accomplished by a tracing procedure and a locating procedure,*** tracing procedure reproduces the execution of the failed test case with well-designed data structures and saves necessary information for locating *** locating procedure will use the information obtained from the tracing procedure to locate ill-designed statements and to generate a system of fix-equations,whose solution will be used to fix the bugs.A structural operational semantics is given to define the functions of the tracing and locating *** of them are proved to *** main task of fixing process is to solve the *** turns out that for a given failed test case,there exist four types of fix-equations and three dierent solutions:1)The bug is solvable,i.e.,there exists a solution of the system of fix-equations,and the program can be repaired.2)There exists a structural design error in the program,i.e.,the system of fix-equations generated at each round of the locating procedure is solvable,but a new bug will arise when the old bug is being fixed.3)There exists a logical design error,and the system of fix-equations is not solvable.

关键词： debugging operational semantics failed test case fix-equations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：