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

Research on Microkernel Integrity Semantics Model and Formal Verification

Chinese Journal of Electronics 2014年第1期23卷 43-48页

作者： QIAN Zhenjiang LIU Wei HUANG Hao State Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science and Technology Nanjing University

Microkernel integrity is an important aspect of security for the whole microkernel system. Many of the research works on microkernel integrity focus on analysis and safeguards against the existing kernel attacks, and security enhancements for the vulnerabilities of system design and implementation aspects. The formal methods for operating system design and verification ensure the system’s high level of security. The existing formalization work and research for operating system mainly focus on the code-level verification of program correctness. In this paper, we propose a formal abstraction model of microkernel in order to accurately describe the semantics of every kernel behavior, and achieve the description of the whole kernel. Based on the model we illustrate the microkernel integrity criterions and elaborate on the integrity mechanism. Meanwhile, we formally verify the completeness and consistency between the mechanism and the definition of the microkernel integrity. We use the self-implemented operating system VTOS(Verified trusted operating system) as an example to illustrate the design method for the microkernel integrity.

关键词： Microkernel integrity Integrity mechanism Integrity semantics model Formal verification

来源：评论

学校读者我要写书评

暂无评论

Controlling Smart TVs Using Touch Gestures on Mobile Devices

Controlling Smart TVs Using Touch Gestures on Mobile Devices

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC

作者： Jiaxu Sun Yongchao Li Linzhang Wang Xuandong Li Xiaoxiao Ma Jing Xu Guanling Chen State Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science University of Massachusetts Lowell

ISBN: (纸本)9781467372121

The global TV market has experienced significant changes in its market landscape, and the Smart TV market is growing fast. However, a traditional TV remote is not suitable for interacting with many Smart TV applications, this is particularly true when typing text is necessary, such as searching, browsing, and using social applications. On the other hand, increasingly pervasive mobile devices, such as smartphones, are emerging as an interesting platform for TV interactions given their intuitive input and output modalities. In this paper, we present and evaluate a new design of Second-Screen Smart TV control app, S3TV, for personal mobile devices. We focus on how to reduce visual attention shifting by leveraging touch gesture controls, tailored for personal mobile devices. We conducted comprehensive user studies, subjective usability analysis, objective interaction analysis, and comparative studies against a soft button based control app. The subjective usability analysis showed the prototype achieved a System Usability Score (SUS) of 80.21, well above the average score of 70.12. In addition, the objective interaction analysis confirmed high task success rates and correct action sequences, and touch gesture controls were preferred over hard system keys. Compared to de facto soft button-based control approach, S3TV reduced visual attention shifting and operation delay with improved user experience. Overall the participants reported that they felt satisfied and would like to continue to use S3TV.

关键词： TV Visualization Usability Mobile communication Smart phones Delays

来源：评论

学校读者我要写书评

暂无评论

Congestion-aware message forwarding in delay tolerant networks: A community perspective

Congestion-aware message forwarding in delay tolerant networ...

引用

作者： Wei, Kaimin Dong, Mianxiong Weng, Jian Shi, Guangzhou Ota, Kaoru Xu, Ke Department of Computer Science Jinan University Guangzhou China Department of Information and Electronic Engineering Muroran Institute of Technology Muroran Japan State Key Lab of Software Development Environment Beihang University Beijing China

Summary In delay tolerant networks, most of the existing message forwarding algorithms prefer to deliver messages to the nodes with a higher popularity or centrality in the hope of maximizing the delivery ratio or minimizing the end-to-end delay. This forwarding scheme is prone to cause unfair load distribution and further lead to network congestion, overlooked in the previous work. In this paper, we discuss the network congestion from a community perspective and take it into account the design of message forwarding algorithms. We first put forward a novel distributed community detection approach, which could track the evolution of communities. Based on the identified communities, we develop a congestion avoidance mechanism to divert the load away from the congested areas to the alternative custodians and further present a congestion-aware message forwarding algorithm where messages can avoid being transmitted to the congested nodes. We finally evaluate the effectiveness of distributed community detection and congestion-aware message forwarding through the extensive real-trace driven simulations. © 2015 John Wiley & Sons, Ltd.

关键词： Delay tolerant networks

来源：评论

学校读者我要写书评

暂无评论

Adaptive level set for fluid surface tracking 15

Adaptive level set for fluid surface tracking

引用

21st ACM Symposium on Virtual Reality software and technology, VRST 2015

作者： Li, Xiaosheng Sun, Hanqiu Liu, Xuehui Wu, Enhua State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences China Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Faculty of Science and Technology University of Macau China University of Chinese Academy of Sciences China

ISBN: (纸本)9781450339902

We introduce an adaptive hybrid level set surface tracking for fluid simulation in this paper. To improve the accuracy of the convectional level set method, we propose a method that combines the higher accuracy interpolation and octree grid to improve the accuracy while still maintain good efficiency. Adaptive gradient-augmented level set is adopted for higher accuracy interpolation and two strategies are proposed to guide the building of the octree structure. We demonstrate our method with several level set tests, and couple it to several existing fluid simulators. The results show that our method facilitates significant improvements in accuracy and efficiency, and is effective for free surface fluid simulation in capturing fluid details. © 2015 ACM.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

Detecting code reuse in android applications using component-based control flow graph

引用

IFIP Advances in Information and Communication technology 2014年 428卷 142-155页

作者： Sun, Xin Zhongyang, Yibing Xin, Zhi Mao, Bing Xie, Li State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9783642554148

Recently smartphones and mobile devices have gained incredible popularity for their vibrant feature-rich applications (or apps). Because it is easy to repackage Android apps, software plagiarism has become a serious problem. In this paper, we present an accurate and robust system DroidSim to detect code reuse. DroidSim calculates similarity score only with component-based control flow graph (CB-CFG). CB-CFG is a graph of which nodes are Android APIs and edges represent control flow precedence order in each Android component. Our system can be applied to detect repackaged apps and malware variants. We evaluate DroidSim on 121 apps and 706 malware variants. The results show that our system has no false negative and a false positive of 0.83% for repackaged apps, and a detection ratio of 96.60% for malware variants. Besides, ADAM is used to obfuscate apps and the result reveals that ADAM has no influence on our system. © IFIP International Federation for Information Processing 2014.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

A new wavelet-Laplacian method for arbitrarily-oriented character segmentation in video text lines

A new wavelet-Laplacian method for arbitrarily-oriented char...

引用

International Conference on Document Analysis and Recognition

作者： Guozhu Liang Palaiahnakote Shivakumara Tong Lu Chew Lim Tan National Key Lab for Novel Software Technology Nanjing University Nanjing China Faculty of Computer Science and Information Technology University of Malaya Kuala Lumpur Malaysia School of Computing National University of Singapore Singapore

ISBN: (纸本)9781479918065

Character segmentation is an important topic to improve the overall performance of text recognition methods due to low resolution, complex background and lots of visual variations in video. This paper presents a novel idea for segmenting characters from arbitrarily-oriented text lines based on wavelet and Laplacian combination. Firstly, we explore wavelet which decomposes a given input image into sub-levels like a pyramid structure for segmenting words based on the fact that as decomposition level increases, the gap between characters decreases due to the reduction in the size of the input image, which results in a single component for each word. Secondly, for each segmented word, we propose Laplacian wavelet combination in a new way to extract text candidates. Thirdly, we propose horizontal and vertical sampling for character segmentation from words. The proposed method is tested on curved, non-horizontal and horizontal text lines of video and the ICDAR 2005 natural scene dataset to evaluate its performance. A comparative study with an existing method shows that the proposed method outperforms it in terms of precision and f-measure.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Ontology-based metadata matching for emergency decision-making using MapReduce

引用

International Journal of Metadata, Semantics and Ontologies 2015年第2期10卷 75-83页

作者： Zhu, Li Hu, Wei School of Economics and Management Nanjing University of Information Science and Technology Nanjing Jiangsu210044 China State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing Jiangsu210023 China

Ontology matching techniques can help improve the accuracy of emergency decisionmaking on heterogeneous data. In this paper, we propose a practical approach to leverage ontology and MapReduce for matching metadata of emergency supplies. We use this approach in the domain of emergency food. Specifically, by extending the AGROVOC ontology developed by the Food and Agriculture Organisation (FAO) of United Nations, ontological descriptions of food metadata are established. Then, based on the classification of emergency functionality, the instances of food metadata within the same category are matched in a two-stage TF-IDF fashion, which is further improved with the MapReduce framework for efficient parallel computation. Our experiments on grain, meat and milk metadata retrieved from several e-commerce websites demonstrate the good performance of the proposed approach. Additionally, case study is provided to illustrate the potential use of our approach. © 2015 Inderscience Enterprises Ltd.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

Pushing the limits on automation in GUI regression testing

Pushing the limits on automation in GUI regression testing

引用

International Symposium on software Reliability Engineering (ISSRE)

作者： Zebao Gao Chunrong Fang Atif M. Memon Department of Computer Science University of Maryland College Park State Key Laboratory for Novel Software Technology Nanjing University China

Although there has been much work on automated GUI regression testing of software, full automation continues to etude us. There are two significant impediments to full automation: obtaining (J) test inputs and (2) test oracle. We now push the envelope 011 full automation of GUI regression testing by fully automatically generating test cases as well as the test oracle, completely eliminating manual work. This allows us to study issues of false positives/negatives in test failure; we provide ways to minimize these. The results of our empirical studies suggest that our approach of using workflow-based test eases, derived front the software under test, may help empower the end user to perform regression testing before applying software updates.

关键词： regression testing Automation graphical user interfaces full automation End users FRACTURE TESTS empirical studies pushing CASING INSPECTION manual Information retrieval systems-Teletext and videotex

来源：评论

学校读者我要写书评

暂无评论

Changing health behaviors through social and physical context awareness

Changing health behaviors through social and physical contex...

引用

International Conference on Computing, Networking and Communications (ICNC)

作者： Guanling Chen Xiang Ding Ke Huang Xu Ye Chunhui Zhang Department of Computer Science University of Massachusetts Lowell USA State Key Laboratory of Novel Software Technology Nanjing University China

ISBN: (纸本)9781479969609

The single greatest opportunity to improve health and reduce premature death lies in personal behavior. While technology-based behavior intervention has been around for many years, the emerging smartphone and wearable sensing technology brings great promise to push health behavior change further by inferring and predicting real-time behavior occurrence and its context. In this paper, we envision how social and physical context awareness could sustain behavior change motivation and assist health habit formation. We describe our preliminary work that supports this vision and outline the research challenges to be addressed.

关键词： Social network services Sensors Context Obesity Accuracy Monitoring Stress

来源：评论

学校读者我要写书评

暂无评论

An artificial bee colony algorithm guided by lévy flights disturbance strategy for global optimization

Lecture Notes in Electrical Engineering

引用

Lecture Notes in Electrical Engineering 2015年 334卷 493-503页

作者： Ma, Wei Sun, Zhengxing Li, Junlou Song, Mofei Lang, Xufeng Le, Cheng Nanjing Institute of Tourism and Hospitality Nanjing211100 China State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing210093 China Department of Computer Science and Engineering Huaian College of Information Technology Huaian223003 China

In order to solve the problems of the slow convergence speed, low precision and easy trapping in local optimal solutions in an artificial bee colony (ABC) algorithm, a novel modified ABC algorithm based on the Lévy flights disturbance mechanism is proposed in this chapter. It attempts to increase the exploration efficiency of the solution space for global optimization. The modifications focus on the solution construction phase of the artificial bee colony algorithm. In addition, to further balance the search processes of exploration and exploitation, the modification forms of the onlookers and scouts search strategy is proposed in this chapter. It could avoid local optimum. And it also could greatly improve convergence speed and solution precision on the basis of keeping strong global optimization performance of the proposed algorithm. Simulation experiment results based on typical benchmark functions show that the proposed algorithm is more effective to avoid premature convergence and to improve solution precision than some other ABCs and several state-of-the-art algorithms. © Springer International Publishing Switzerland 2015.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：