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

IEEE International Conference on Cloud Networking (CLOUDNET)

作者： Valerie Danielle Justafort Ronald Beaubrun Samuel Pierre Computing and Software Engineering Department Ecole Polytechnique de Montreal Montreal Canada Department of Computer Science and Software Engineering Laval University Quebec Canada

In this paper, we address the problem of virtual machine (VM) placement in an InterCloud with regard to the reduction of carbon footprint in such computing environment. In order to minimize the data center Greenhouse Gas (GhG) emissions, this paper proposes a new mathematical formulation, where the placement approach is stated as a mixed integer programming problem which aims at minimizing the overall carbon footprint of the InterCloud. The proposed formulation presents an accurate carbon footprint evaluation based on joint optimization techniques, such as workload consolidation and cooling efficiency maximization, while considering the greenness of the data centers and the dynamic behavior of the IT equipment cooling fans. Simulation results showed that our model leads to optimal configurations with minimal carbon footprint in the InterCloud environment.

关键词： Servers Carbon Power demand Cooling Mathematical model Temperature distribution Cloud computing

来源：评论

学校读者我要写书评

暂无评论

A pso approach for software project planning 14

A pso approach for software project planning

引用

16th Genetic and Evolutionary Computation Conference Companion, GECCO 2014 Companion

作者： Jia, Ya-Hui Chen, Wei-Neng Hu, Xiao-Min Department of Computer Science Sun Yat-sen University China School of Advanced Computing Sun Yat-sen University China Key Laboratory of Machine Intelligence and Advanced Computing Ministry of Education China Engineering Research Center of Supercomputing Engineering Software Ministry of Education China School of Public Health Sun Yat-sen University China

ISBN: (纸本)9781450328814

Search-based software project management is a hot research point in software engineering. Based on the event-based scheduler (EBS) we have proposed in previous work [1], this paper intends to further propose a two-phase particle swarm optimization approach which uses a set-based representation for task scheduling and an integer representation for workload assignment scheduling to improve planning performance. Experimental results on 83 instances demonstrate the effectiveness of the proposed approach.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

A Pair-Oriented Requirements engineering Approach for Analysing Multi-lingual Requirements

A Pair-Oriented Requirements Engineering Approach for Analys...

引用

1st Asia Pacific Requirements engineering Symposium, APRES 2014

作者： Kamalrudin, Massila Sidek, Safiah Salleh, Norsaremah Hosking, John Grundy, John Innovative Software System and Services Group Universiti Teknikal Malaysia Melaka Melaka Malaysia Department of Computer Science International Islamic University Malaysia 50728 Kuala Lumpur Malaysia College of Engineering and Computer Science Australian National University ACT ACT 0200 Australia Centre for Computing and Engineering Software Systems Swinburne University of Technology PO Box 218 Hawthorn VIC 3122 Australia

ISBN: (纸本)9783662436097

Requirements written in multiple languages can lead to error-proneness, inconsistency and incorrectness. In a Malaysian setting, software engineers are exposed to both Malay and English requirements. This can be a challenging task for them especially when capturing and analyzing requirements. Further, they face difficulties to model requirements using semi-formal or formal models. This paper introduces a new approach, Pair-Oriented Requirements engineering (PORE) that uses an Essential Use Case (EUC) model to capture and analyze multi-lingual requirements. This approach is intended to assist practitioners in developing correct and consistent requirements as well as developing teamwork skills. Two quasi-experiment studies involving 80 participants in the first study and 38 participants in a subsequent study were conducted to evaluate the effectiveness of this approach with respect to correctness and time spent in capturing multi-lingual requirements. It was found that PORE improves accuracy and hence helps users perform better in developing high quality requirements models. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Online Arabic handwritten character recognition using online-offline feature extraction and back-propagation neural network

Online Arabic handwritten character recognition using online...

引用

International Conference on Advanced Technologies for Signal and Image Processing (ATSIP)

作者： Amal Ramzi Ammar Zahary Department of Software Engineering Taiz University Taiz Yemen Faculty of computing & IT University of Science & Technology Sana'a Yemen

The main theme of this paper is performing online handwriting recognition for Arabic character using back propagation neural network and it experiments the performance of it using online features of characters as input to the BPNN in comparison with combining online and offline character features as the input. That's done through the following stages : online data acquisition, online & offline preprocessing, online & offline feature extraction (directional & geometric features), classification using back propagation neural network to classify the character to one of 15 character classes and finally, delayed strokes handling using logic programming to recognize the character according to the character class and its delayed strokes accounts and positions.

关键词： Feature extraction Character recognition Handwriting recognition Neural networks Trajectory Image segmentation Writing

来源：评论

学校读者我要写书评

暂无评论

Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics

引用

Procedia Computer science 2014年 34卷 266-275页

作者： Jason Jaskolka Ridha Khedri Khair Eddin Sabri Department of Computing and Software Faculty of Engineering McMaster University Hamilton Ontario Canada Department of Computer Science King Abdullah II School for Information Technology The University of Jordan Amman Jordan

This is Part II in a two-part series discussing the development of investigative support for information confidentiality. In Part I, we proposed a technique based on relation algebra to detect confidential information leakage via protocol-based covert channels. In this paper, we continue developing investigative support for information confidentiality. We examine the application of the technique for detecting confidential information leakage proposed in Part I in cryptanalysis and digital forensics to highlight its usefulness beyond the scope of covert channel analysis. By way of a short case study, we show the automation of the cryptanalysis application of the technique for detecting confidential information leakage using a prototype tool and a known-plaintext attack.

关键词： cryptanalysis confidentiality digital forensics formal methods covert channels security

来源：评论

学校读者我要写书评

暂无评论

Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels

引用

Procedia Computer science 2014年 34卷 276-285页

This is Part I in a two-part series discussing the development of investigative support for information confidentiality. In this paper, we propose a technique to detect confidential information leakage via protocol-based covert channels based on relation algebra. It provides tests to verify the existence of an information leakage via a monitored covert channel as well as computations which show how the information was leaked if a leakage exists. We also report on a prototype tool that allows for the automation of the proposed technique. Our focus is limited to protocol-based covert channels and instances where covert channel users modulate the sent information by some form of encoding such as encryption.

关键词： covert channels confidentiality formal methods information leakage

来源：评论

学校读者我要写书评

暂无评论

Cooperative and Geometric Learning Algorithm (CGLA) for path planning of UAVs with limited information

Cooperative and Geometric Learning Algorithm (CGLA) for path...

引用

作者： Zhang, Baochang Liu, Wanquan Mao, Zhili Liu, Jianzhuang Shen, Linlin Science and Technology on Aircraft Control Laboratory School of Automation Science and Electrical Engineering BeiHang University Beijing 100191 China Department of Computing Curtin University Perth WA 6102 Australia Shenzhen Key Laboratory of Spatial Smart Sensing and Services School of Computer Science and Software Engineering Shenzhen University China Media Laboratory Huawei Technologies Co.Ltd. Shenzhen 518129 China

In this paper, we propose a new learning algorithm, named as the Cooperative and Geometric Learning Algorithm (CGLA), to solve problems of maneuverability, collision avoidance and information sharing in path planning for Unmanned Aerial Vehicles (UAVs). The contributions of CGLA are three folds: (1) CGLA is designed for path planning based on cooperation of multiple UAVs. Technically, CGLA exploits a new defined individual cost matrix, which leads to an efficient path planning algorithm for multiple UAVs. (2) The convergence of the proposed algorithm for calculating the cost matrix is proven theoretically, and the optimal path in terms of path length and risk measure from a starting point to a target point can be calculated in polynomial time. (3) In CGLA, the proposed individual weight matrix can be efficiently calculated and adaptively updated based on the geometric distance and risk information shared among UAVs. Finally, risk evaluation is introduced first time in this paper for UAV navigation and extensive computer simulation results validate the effectiveness and feasibility of CGLA for safe navigation of multiple UAVs. © 2014 Elsevier Ltd. All rights reserved.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

HorusCML: Context-aware domain-specific visual languages designer

HorusCML: Context-aware domain-specific visual languages des...

引用

IEEE Symposium on Visual Languages and Human Centric computing (VL/HCC)

作者： Mohamed Almorsy John Grundy Ulf Rüegg Centre for Computing and Engineering Software and Systems Swinburne University of Technology Hawthorn Australia Department of Computer Science Kiel University Kiel Germany

The objective behind building domain-specific visual languages (DSVLs) is to provide users with the most appropriate concepts and notations that best fit with their domain and experience. However, the existing DSVL designers do not support integrating environment and user context information when modeling, editing or viewing DSVL models at different locations, permissions, devices, etc. In this paper, we introduce HorusCML, a context-aware DSVL designer, which supports DSVL experts in integrating necessary context details within their DSVLs. The resultant DSVLs can reflect different facets, layouts, and behaviours according to context it is used in. We show a case study on developing a context-aware data flow diagram DSVL tool using HorusCML.

关键词： Context Visualization Layout Context modeling Unified modeling language Monitoring software

来源：评论

学校读者我要写书评

暂无评论

Fully automatic 3D facial expression recognition using local depth features

Fully automatic 3D facial expression recognition using local...

引用

IEEE Workshop on Applications of Computer Vision (WACV)

作者： Mingliang Xue Ajmal Mian Wanquan Liu Ling Li Department of Computing Curtin University Bentley WA Australia Computer Science and Software Engineering The University of Western Australia Crawley WA Australia

ISBN: (纸本)9781479949847

Facial expressions form a significant part of our nonverbal communications and understanding them is essential for effective human computer interaction. Due to the diversity of facial geometry and expressions, automatic expression recognition is a challenging task. This paper deals with the problem of person-independent facial expression recognition from a single 3D scan. We consider only the 3D shape because facial expressions are mostly encoded in facial geometry deformations rather than textures. Unlike the majority of existing works, our method is fully automatic including the detection of landmarks. We detect the four eye corners and nose tip in real time on the depth image and its gradients using Haar-like features and AdaBoost classifier. From these five points, another 25 heuristic points are defined to extract local depth features for representing facial expressions. The depth features are projected to a lower dimensional linear subspace where feature selection is performed by maximizing their relevance and minimizing their redundancy. The selected features are then used to train a multi-class SVM for the final classification. Experiments on the benchmark BU-3DFE database show that the proposed method outperforms existing automatic techniques, and is comparable even to the approaches using manual landmarks.

关键词： Face Feature extraction Three-dimensional displays Face recognition Nose Mouth Vectors

来源：评论

学校读者我要写书评

暂无评论

Developments in Concurrent Kleene Algebra 1

引用

14th International Conference on Relational and Algebraic Methods in Computer science, RAMiCS 2014

作者： Hoare, Tony Van Staden, Stephan Möller, Bernhard Struth, Georg Villard, Jules Zhu, Huibiao O'Hearn, Peter Microsoft Research Cambridge United Kingdom ETH Zurich Switzerland Institut für Informatik Universität Augsburg Germany Department of Computer Science University of Sheffield United Kingdom Department of Computing Imperial College London United Kingdom Software Engineering Institute East China Normal University China Facebook United Kingdom

ISBN: (数字)9783319062518

ISBN: (纸本)9783319062501

This report summarises recent progress in the research of its co-authors towards the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency in modern programming practice. The research concentrates on the construction of a realistic family of partial order models for Concurrent Kleene Algebra (aka, the Laws of Programming). The main elements of the model are objects and the events in which they engage. Further primitive concepts are traces, errors and failures, and transferrable ownership. In terms of these we can define other concepts which have proved useful in reasoning about concurrent programs, for example causal dependency and independence, sequentiality and concurrency, allocation and disposal, synchrony and asynchrony, sharing and locality, input and output. © 2014 Springer International Publishing.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：