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

10th Iberian Conference on Information systems and Technologies, CISTI 2015

作者： Villalón, Jose Calvo-Manzano Agustin, Gonzalo Cuevas Gilabert, Tomás San Feliu De Jesús Jimenez Puello, José Department Languages and Informatics Systems and Software Engineering Polytechnic University of Madrid UPM Madrid Spain Department of Computer Science University of Panama UP Panama Panama

ISBN: (纸本)9789899843455

This article establishes taxonomy for software testing projects, allowing the development team or testing personnel to identify the tests to which the project must be subjected for validation. The taxonomy is focused on identifying software projects according to their technology. To establish the taxonomy, a development method comprised of 5 phases was applied. The developed taxonomy is comprised of 9 categories and 27 subcategories and was validated by a group of information technology (IT) managers and professionals in the field of IT through the use of a survey. The results obtained from the survey are subjected to the Mann-Whitney U test, which indicates that the taxonomy is validated. The taxonomy can be implemented in development organizations with or without a testing team that provides a classification for technology projects. © 2015 AISTI.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Mobile application testing in industrial contexts: An exploratory multiple case-study 1

引用

14th International Conference on New Trends in Intelligent software Methodology, Tools, and Techniques, SoMeT 2015

作者： Zein, Samer Salleh, Norsaremah Grundy, John Department of Computer Science International Islamic University Kuala Lumpur Malaysia Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne Australia

ISBN: (数字)9783319226897

ISBN: (纸本)9783319226880

Recent empirical studies in the area of mobile application testing indicate the need for specific testing techniques and methods for mobile applications. This is due to mobile applications being significantly different than traditional web and desktop applications, particularly in terms of the physical constraints of mobile devices and the very different features of their operating systems. In this paper, we presented a multiple case-study involving four software development companies in the area of mobile and smartphones application. We aimed to identify testing techniques currently being applied by developers and challenges that they are facing. Our principle results are that many industrial teams seem to lack sufficient knowledge on how to test mobile applications, particularly in the areas of mobile application life-cycle conformance, context-awareness, and integration testing. We also found that there is no formal testing approach or methodology that can facilitate a development team to systematically test a critical mobile application. © Springer International Publishing Switzerland 2015.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

Fault-Tolerant Scheduling for Real-Time Tasks on Multiple Earth-Observation Satellites

引用

IEEE Transactions on Parallel and Distributed systems 2015年第11期26卷 3012-3026页

作者： Zhu, Xiaomin Wang, Jianjiang Qin, Xiao Wang, Ji Liu, Zhong Demeulemeester, Erik Science and Technology on Information Systems Engineering Laboratory National University of Defense Technology Changsha Hunan410073 China Department of Computer Science and Software Engineering Auburn University AuburnAL36849-5347 United States Department of Decision Sciences and Information Management Research Center for Operations Management KU Leuven LeuvenBE-3000 Belgium

Fault-tolerance plays an important role in improving the reliability of multiple earth-observing satellites, especially in emergent scenarios such as obtaining photographs on battlefields or earthquake areas. Fault tolerance can be implemented through scheduling approaches. Unfortunately, little attention has been paid to fault-tolerant scheduling on satellites. To address this issue, we propose a novel dynamic fault-tolerant scheduling model for real-time tasks running on multiple observation satellites. In this model, the primary-backup policy is employed to tolerate one satellite's permanent failure at one time instant. In the light of the fault-tolerant model, we develop a novel fault-tolerant satellite s cheduling algorithm named FTSS. To improve the resource utilization, we apply the overlapping technology that includes primary-backup copy overlapping (i.e., PB overlapping) and backup-backup copy overlapping (i.e., BB overlapping). According to the satellites characterized with time windows for observations, we extensively analyze the overlapping mechanism on satellites. We integrate the overlapping mechanism with FTSS, which employs the task merging strategies including primary-backup copy merging (i.e., PB merging), backup-backup copy merging (i.e., BB merging) and primary-primary copy merging (i.e., PP merging). These merging strategies are used to decrease the number of tasks required to be executed, thereby enhancing system schedulability. To demonstrate the superiority of our FTSS, we conduct extensive experiments using the real-world satellite parameters supplied from the satellite tool kit or STK;we compare FTSS with the three baseline algorithms, namely, NMFTSS, NOFTSS, and NMNOFTSS. The experimental results indicate that FTSS efficiently improves the scheduling quality of others and is suitable for fault-tolerant satellite scheduling. © 1990-2012 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Anonymous yoking-group proofs 15

Anonymous yoking-group proofs

引用

10th ACM Symposium on Information, computer and Communications Security, ASIACCS 2015

作者： Li, Nan Mu, Yi Susilo, Willy Varadharajan, Vijay Centre for Computer and Information Security School of Computer Science and Software Engineering University of Wollongong Wollongong Australia Information and Networked Systems Security Research Department of Computing Faculty of Science Macquarie University Sydney Australia

ISBN: (纸本)9781450332453

Yoking-proofs show an interesting application in Radio Frequency Identification (RFID) that a verifier can check whether two tags are simultaneously scanned by a reader. We consider a scenario that multi-group of tags can be proved to be scanned simultaneously. Grouping-proof, which is an extension of yoking-proofs, allows multiple tags to be proved together, while existing protocols cannot support multiple groups. In this paper, we introduce a novel concept called "yoking-group proofs". Additionally, we propose an anonymous yoking-proof protocol and an anonymous yoking-group proof protocol and prove their security in Universal Composability framework. Copyright © 2015 ACM.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

POSTER: A hybrid approach for mobile security threat analysis 8

POSTER: A hybrid approach for mobile security threat analysi...

引用

8th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2015

作者： You, Wanqing Qian, Kai Guo, Minzhe Bhattacharya, Prabir Qian, Ying Tao, Lixin Department of Computer Science and Software Engineering Southern Polytechnic State University MariettaGA United States Department of Electrical Engineering and Computing Systems University of Cincinnati United States Department of Computer Science East China Normal University Shanghai China Dept. of Computer Science Pace University New York United States

ISBN: (纸本)9781450336239

Research on effective and efficient mobile threat analysis becomes an emerging and important topic in cybersecurity research area. Static analysis and dynamic analysis constitute two of the most popular types of techniques for security analysis and evaluation;nevertheless, each of them has its strengths and weaknesses. To leverage the benefits of both approaches, we propose a hybrid approach that integrates the static and dynamic analysis for detecting security threats in mobile applications. The key of this approach is the unification of data states and software execution on critical test paths. The approach consists of two phases. In the first phase, a pilot static analysis is conducted to identify potential critical attack paths based on Android APIs and existing attack patterns. In the second phase, a dynamic analysis follows the identified critical paths to execute the program in a limited and focused manner. Attacks shall be detected by checking the conformance of the detected paths with existing attack patterns. The method will report the types of detected attack scenarios based on types of sensitive data that may be compromised, such as web browser cookie.

关键词： Android application analysis Data path tracing Dynamic analysis Static analysis Symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Omnidirectional chargability with directional antennas

Omnidirectional chargability with directional antennas

引用

International Conference on Network Protocols

作者： Haipeng Dai Xiaoyu Wang Alex X. Liu Fengmin Zhang Yang Zhao Guihai Chen State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu CHINA Department of Computer Science and Engineering Michigan State University East Lansing MI USA Shanghai key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai CHINA

ISBN: (纸本)9781509032822

Wireless Power Transfer (WPT) has received more and more attentions because of its convenience and reliability. In this paper, we first propose the notion of omnidirectional charging by which an area is omnidirectionally charged if a device with directional antennas at any position in the area with any orientation can be charged by directional chargers with power being no smaller than a given threshold. We present our empirical charging model based on field experimental results using off-the-shelf WPT products. Next, we consider the problem of detecting whether the target area achieves omnidirectional charging given a deterministic deployment of chargers. We develop piecewise constant approximation and area discretization techniques to partition the target area into subareas and approximate powers from chargers as constants. Then we propose the Minimum Coverage Set extraction technique which reduces the continuous search space to a discrete one and thereby allows a fast detection algorithm. Moreover, we consider the problem of determining the probability that the target area achieves omnidirectional charging given a random deployment of chargers. We first replace the target area by grid points on triangular lattices to reduce the search space from infinite to finite, then approximate chargers' power with reasonable relaxation, and derive an upper bound of the omnidirectional charging probability. Finally, we conduct both simulation and field experiments, and the results show that our algorithm outperforms comparison algorithms by at least 120%, and the consistency degree of our theoretical results and field experimental results is larger than 93.6%.

关键词： Wireless sensor networks Wireless communication Directional antennas Adaptation models Joining processes Conferences Protocols

来源：评论

学校读者我要写书评

暂无评论

Taking the English Exam for the "Can a Robot Get into the University of Tokyo?" Project

引用

NTT Technical Review 2015年第7期13卷 1-7页

作者： Higashinaka, Ryuichiro Sugiyama, Hiroaki Isozaki, Hideki Kikui, Genichiro Dohsaka, Kohji Taira, Hirotoshi Minami, Yasuhiro Senior Research Scientist Interaction Research Group Innovative Communication Laboratory NTT Communication Science Laboratories Senior Research Scientist Audio Speech and Language Media Project NTT Media Intelligence Laboratories Researcher Interaction Research Group Innovative Communication Laboratory NTT Communication Science Laboratories Professor Department of Systems Engineering Okayama Prefectural University Professor Department of Computer Science and Systems Engineering Okayama Prefectural University Professor Department of Electronics and Information Systems Akita Prefectural University Associate Professor Faculty of Information Science and Technology Osaka Institute of Technology Professor Department of Information Systems Fundamentals Graduate School of Information Systems the University of Electro-Communications

NTT and its research partners are participating in the "Can a robot get into the University of Tokyo?" project run by the National Institute of Informatics, which involves tackling English exams. The artificial intelligence system we developed took a mock test in 2014 and achieved a better-than-human-average score for the first time. This was a notable achievement since English exams require English knowledge and also common sense knowledge that humans take for granted but that computers do not necessarily possess. In this article, we describe how our artificial intelligence system takes on English exams. © 2015 Nippon Telegraph and Telephone Corp.. All rights reserved.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Towards a general framework for optimal role mining: A constraint satisfaction approach 15

Towards a general framework for optimal role mining: A const...

引用

20th ACM Symposium on Access Control Models and Technologies, SACMAT 2015

作者： Jafarian, Jafar Haadi Takabi, Hassan Touati, Hakim Hesamifard, Ehsan Shehab, Mohamed Department of Software and Information Systems University of North Carolina at Charlotte CharlotteNC United States Department of Computer Science and Engineering University of North Texas DentonTX United States

ISBN: (纸本)9781450335560

Role Based Access Control (RBAC) is the most widely used advanced access control model deployed in a variety of organizations. To deploy an RBAC system, one needs to first identify a complete set of roles, including permission role assignments and role user assignments. This process, known as role engineering, has been identified as one of the costliest tasks in migrating to RBAC. Since many organizations already have some form of user permission assignments defined, it makes sense to identify roles from this existing information. This process, known as role mining, has gained significant interest in recent years and numerous role mining techniques have been developed that take into account the characteristics of the core RBAC model, as well as its various extended features and each is based on a specific optimization metric. In this paper, we propose a generic approach which transforms the role mining problem into a constraint satisfaction problem. The transformation allows us to discover the optimal RBAC state based on customized optimization metrics. We also extend the RBAC model to include more context-aware and application specific constraints. These extensions broaden the applicability of the model beyond the classic role mining to include features such as permission usage, hierarchical role mining, hybrid role engineering approaches, and temporal RBAC models. We also perform experiments to show applicability and effectiveness of the proposed approach. © Copyright 2015 ACM.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Towards using coherence analysis to scaffold students in open-ended learning environments 17

Towards using coherence analysis to scaffold students in ope...

引用

Workshops at the 17th International Conference on Artificial Intelligence in Education, AIED-WS 2015

作者： Segedy, James R. Biswas, Gautam Institute of Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University 1025 16th Avenue South NashvilleTN37212 United States

Scaffolding students in open-ended learning environments (OELEs) is a difficult challenge. The open-ended nature of OELEs allows students to simultaneously pursue, modify, and abandon any of a large number of both short-term and long-term approaches to completing their tasks. To overcome these challenges, we have recently developed coherence analysis, which focuses on students' ability to interpret and apply the information available in the OELE. This approach has yielded valuable dividends: by characterizing students according to the coherence of their behavior, teachers and researchers have access to easily-calculated, intuitive, and actionable measures of the quality of students' problem-solving processes. The next step in this line of research is to develop a framework for using coherence analysis to adaptively scaffold students in OELEs. In this paper, we present our initial ideas for this work and propose guidelines for the construction of a scaffolding framework.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A formulation of rod based nonlinear model predictive control of nuclear reaction with temperature effects and Xenon poisoning 23

A formulation of rod based nonlinear model predictive contro...

引用

23rd International Conference on Nuclear engineering: Nuclear Power - Reliable Global Energy, ICONE 2015

作者： Teatro, Timothy A.V. McNelles, Phillip Eklund, J. Mikael Department of Electrical Computer and Software Engineering University of Ontario Institute of Technology OshawaON Canada Faculty of Energy Systems and Nuclear Science University of Ontario Institute of Technology OshawaON Canada

ISBN: (纸本)9784888982566

This paper presents a formulation of a nonlinear model predictive controller for steering of a nuclear reaction in a pressurized water reactor via control rod displacement. The predictive model, based on point kinetic equations, includes an averaged delayed neutron group, thermal dependence on reactivity, heat exchange between temperature and moderator and Xenon poisoning. From the model, a finite horizon optimal control problem is cast in the form of a control Hamiltonian minimization. A basic gradient descent scheme is derived to solve the optimal control problem. The predictive model and gradient descent are used to form the basis from which the model predictive controller is formulated. Copyright © 2015 by JSME.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：