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

17th International ISC Conference on Information Security and Cryptology, ISCISC 2020

作者： Hasan, Hayyan Ladani, Behrouz Tork Zamani, Bahman University of Isfahan Faculty of Computer Engineering MDSE Research Group Department of Software Engineering Isfahan Iran

ISBN: (数字)9781728185699

ISBN: (纸本)9781728185699

Dynamic analysis is a prominent approach in analyzing the behavior of Android apps. To perform dynamic analysis, we need an event generator to execute the app. Monkey is the most popular event generator that is used in Android dynamic analysis. Monkey provides high code coverage, and yet high speed in generating events. However, in the case of malware analysis, Monkey suffers from several limitations. It only considers UI events but no system events. Moreover, it causes disconnecting the connectivity of the test environment during the analysis process. In this paper, we try to enhance Monkey to reduce its limitations while preserving its advantages. The proposed approach includes preparing Monkey with a facility for handling system events and keeping the connectivity of the test environment up during the analysis process. To evaluate the extended version of Monkey, we compare it with its original version regarding two important criteria in the case of malware analysis: The number of called sensitive APIs, and the code coverage. The evaluation process uses 100 randomly selected samples from AMD malware dataset. The results show that enhanced Monkey improves its ability to trigger sensitive APIs, and increases its code coverage. © 2020 IEEE.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

On the use of ontologies in software process assessment: A systematic literature review 17

On the use of ontologies in software process assessment: A s...

引用

21st International Conference on Evaluation and Assessment in software engineering, EASE 2017

作者： Tarhan, Ayça Giray, Görkem Software Engineering Research Group Department of Computer Engineering Hacettepe University Ankara Turkey Izmir Turkey

ISBN: (纸本)9781450348041

software process assessment (SPA) is the foundation step for software process improvement. ISO/IEC 15504 defines the term process assessment as "the systematic evaluation of an organization's processes against a process reference model (PRM)". In process assessment, there is a need to set and maintain a mapping between an organization's processes and a PRM, where process experts transform the gap between the two into opportunities for process improvement. To maintain such a mapping requires a continuous tracking and alignment between the organization's processes and the PRM(s). The use of ontologies might be a suitable solution to provide computerized tool support for SPA that becomes erroneous and time-consuming if done manually. With an aim to understand the use and usefulness of ontologies in SPA, in this study, we have performed a systematic literature review (SLR). We have searched the most known digital libraries and selected 14 studies out of 54 initially selected and 571 initially retrieved. We analyzed the selected studies with respect to a number of research questions that address;contribution facet, targeted software processes, research facet, process improvement model used, process assessment model used, ontology representation language, purpose of ontology use, qualitative and quantitative benefits reported, and challenges faced. As a result, we synthesized a conceptual model of ontology-based support in SPA. We hope the results of our work will be useful for researchers and practitioners to direct their future studies on the use of ontologies for SPA. © 2017 Association for Computing Machinery.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Deep Learning Based Binary Classification for Alzheimer's Disease Detection using Brain MRI Images 15

Deep Learning Based Binary Classification for Alzheimer's Di...

引用

15th IEEE Conference on Industrial Electronics and Applications, ICIEA 2020

作者： Hussain, Emtiaz Hasan, Mahmudul Hassan, Syed Zafrul Hassan Azmi, Tanzina Rahman, Md Anisur Zavid Parvez, Mohammad Brac University Software Engineering and Hci Research Group Department of Computer Science and Engineering Bangladesh Bangladesh

ISBN: (纸本)9781728151694

Alzheimer's disease is an irremediable, continuous brain disorder that gradually destroys memory and thinking skills and, eventually, the ability to carry out the simplest tasks. It has become one of the critical diseases throughout the world. Moreover, there is no remedy for Alzheimer's disease. Machine learning techniques, especially deep learning-based Convolutional Neural Network (CNN), are used to improve the process for the detection of Alzheimer's disease. In recent days, CNN has achieved major success in MRI image analysis and biomedical research. A lot of research has been carried out for the detection of Alzheimer's disease based on brain MRI images using CNN. However, one of the fundamental limitations is that proper comparison between a proposed CNN model and pre-trained CNN models (InceptionV3, Xception, MobilenetV2, VGG) was not established. Therefore, in this paper, we present a model based on 12-layer CNN for binary classification and detection of Alzheimer's disease using brain MRI data. The performance of the proposed model is compared with some existing CNN models in terms of accuracy, precision, recall, F1 score, and ROC curve on the Open Access Series of Imaging Studies (OASIS) dataset. The main contribution of the paper is a 12-layer CNN model with an accuracy of 97.75%, which is higher than any other existing CNN models published on this dataset. The paper also shows side by side comparison between our proposed model and pre-trained CNN models (InceptioV3, Xception, MobilenetV2, VGG). The experimental results show the superiority of the proposed model over the existing models. © 2020 IEEE.

关键词： Magnetic resonance imaging

来源：评论

学校读者我要写书评

暂无评论

Complex event processing applied to early maritime threat detection 12

Complex event processing applied to early maritime threat de...

引用

2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups, WAS4FI-Mashups 2012

作者： Boubeta-Puig, Juan Medina-Bulo, Inmaculada Ortiz, Guadalupe Fuentes-Landi, Germán Department of Computer Science and Engineering UCASE Software Engineering Research Group University of Cádiz Spain

ISBN: (纸本)9781450315661

In recent decades the globalization has caused a huge in- crease of ship movements carrying goods and passengers between countries. It makes quite difficult to detect manually critical or relevant situations that may occur in marine traffic. In this paper, we propose an event-driven service- oriented-architecture that combines the complex event processing and data distribution system, building a high performance and available system for analyzing and correlating data provided by ship's automatic identification systems in real time. This architecture will be able to detect automatically, and as soon as possible, abnormal situations occurred in seas all over the world. For this, a set of complex event patterns for detecting AIS hijacking or failure, as well as ship engine malfunction or ship collision is proposed and defined in this work. Copyright 2012 ACM.

关键词： Ships

来源：评论

学校读者我要写书评

暂无评论

Rearchitecting meta-modeling foundation: A formal approach

Rearchitecting meta-modeling foundation: A formal approach

引用

18th International Conference on software engineering and Data engineering 2009, SEDE 2009

作者： Jamshidi, P. Shams, F. Khoshnevis, S. Teimourzadegan, R. Nikravesh, A. Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University Iran

ISBN: (纸本)9781615672417

Model-Driven Development (MDD) is based on the premise of giving software engineers the most suitable infrastructure, based on which they can easily construct and transform their artifacts. Several paradigms like linear four-layer infrastructure have been proposed to facilitate MDD requirements. Although recently proposed paradigms have their own advantages and superiority to the traditional paradigms, there is no formal foundation, by which they could be described. A category can be seen as a structure that formalizes a mathematician's description of a type of structure. Therefore, category theory is convenient for describing paradigm of the infrastructure. In this position paper, we provide a formal framework consisting categories of models to rearchitecting traditional linear meta-modeling paradigm to a category-based one. By adopting the paradigm, the dual classification problem arising from the need to capture both linguistic and ontological classification of model elements, could be formally clarified.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Protocol quality engineering: Addressing industry concerns about formal methods

引用

computer COMMUNICATIONS 1996年第14期19卷 1258-1267页

作者： Probert, RL Lew, N Telecommunications Software Engineering Research Group Department of Computer Science/Informatique University of Ottawa Ottawa Ontario K1N 6N5 Canada

In this paper, we describe a quality-directed perspective on the lifecycle process of designing and assembling communications systems and services. We claim this perspective addresses some of the industrial concerns of quality and productivity for the protocol engineering process, while allowing for some of the best formal techniques known for protocol synthesis, verification, conformance testing and performance assessment. we hope that this perspective will assist in the development of a generic conceptual framework which enables the evolution, integration and practical application of protocol engineering models, methods, languages and tools.

关键词： protocol engineering communication protocols quality engineering

来源：评论

学校读者我要写书评

暂无评论

An integrated verification environment for JML: Architecture and early results

An integrated verification environment for JML: Architecture...

引用

ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007

作者： Chalin, Patrice James, Perry R. Karabotsos, George Dependable Software Research Group Dept. of Computer Science and Software Engineering Concordia University Montréal Canada

ISBN: (纸本)9781595937216

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, Java 5 has yet to be fully supported. This paper presents the architecture of JML4, an Integrated Verification Environment (IVE) for JML that builds upon Eclipse's support for Java, enhancing it with Extended Static Checking (ESC), an early form of Runtime Assertion Checking (RAC) and JML's non-null type system. Early results indicate that the synergy of complementary verification techniques (being made available within a single tool) can help developers be more effective;we demonstrate new bugs uncovered in JML annotated Java source - -like ESC/Java2 - -which is routinely verified using first generation JML tools. Copyright 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Validating mobility management solutions for interworking UMTS and IEEE 802.11 networks

Validating mobility management solutions for interworking UM...

引用

2010 17th International Conference on Telecommunications, ICT 2010

作者： Nogueira, Antonia Diana B. Ramos, Luana P. De Castro, Miguel F. Andrade, Rossana M. C. Computer Science Department GREat - Research Group on Computer Networks Software Engineering and Systems Federal University of Ceará Campus do Pici - Bloco 942-A 60.455-760 - Fortaleza-CE Brazil

ISBN: (纸本)9781424452477

An important step towards seamless heterogeneous systems is the integration between WLAN and 3G cellular systems. Their interoperability has been frequently discussed in literature, however, there is still room for research in this issue. Since IEEE 802.11 networks reach relatively high data transmission rates when compared to other wireless networks, it has gained the attention of the cellular networks operators, such as UMTS operators, which have been considering IEEE 802.11 networks as a complement to their access networks. Notwithstanding, specification and development of real-time systems with mobility support are still a challenge due to their characteristic of criticality and safety. In this context, formal methods have shown effectiveness in real-time system development. The main advantage of formal methods is allowing a rigorous and nonambiguous system description. Thus, this work presents the specification and validation of two mobility management approaches to integrate UMTS and IEEE 802.11 networks: the first one is based on SIP, and the other one is based on MIP version 6. These specifications extend the Loose Interworking architecture and reach the fourth integration level of the 3GPP specification. These approaches are modeled using SDL and MSC formal description techniques, which are largely used to specify telecommunications systems. SDL also provides simulation and validation results that are analyzed to evaluate the proposed approaches with the goal of proving that formal methods can lead to a more precise and correct final system. © 2009 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Automatic inference of abstract type behavior

Automatic inference of abstract type behavior

引用

25th IEEE/ACM International Conference on Automated software engineering, ASE'10

作者： Balint, Mihai Department of Computer and Software Engineering LOOSE Research Group Politehnica University Timįsoara Romania

ISBN: (纸本)9781450301169

Type hierarchies are an integral part of the object oriented software reuse machinery. software flexibility can be increased through type inheritance which, if used in accordance with Liskov Substitution Principle (LSP) enables safe object substitution. Assuming that formal specifications are available for a set of subtypes, we present our early doctoral research on the automatic inference of an extended deterministic finite automaton that describes the legal usage of abstract supertypes and ensures the behavioral subtyping relation as defined by the Liskov Substitution Principle (LSP). We obtain the supertype interface automata by incrementally exploring the specification of the subtypes, unifying correlated subtype fields, simplifying predicates through quantification, and finally creating new model fields that we associate with the remaining predicates. The inferred automaton is simulated by the behavior of each subtype and can be used for safe hierarchy extension, verification of new hierarchy clients, and emphasis of LSP non-compliant methods. © 2010 ACM.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

ScrumBut, but does it matter? A mixed-method study of the planning process of a multi-team scrum organization

ScrumBut, but does it matter? A mixed-method study of the pl...

引用

2013 ACM / IEEE International Symposium on Empirical software engineering and Measurement, ESEM 2013

作者： Heikkila, Ville T. Paasivaara, Maria Lassenius, Casper Department of Computer Science and Engineering Software Process Research Group Aalto University Helsinki Finland

ISBN: (纸本)9781479911448

Context: Proponents of the Scrum software development method use the term 'Scrum But' to refer to harmful changes to Scrum. Scrum has been increasingly adopted in large software development organizations. This has led to changes to Scrum practices, but it is not known if these changes are harmful. Objective: We studied how the requirements were planned and managed in the development teams of a large Scrum organization, how well the requirements planning and management practices matched Scrum, and whether the changes were perceived harmful. Method: We quantitatively analysed 435 requirements spanning a time period of approximately one year. We conducted a total of 40 interviews to study the Scrum adoption in the organization and to explain and validate the quantitative results. Results: The main discrepancies between the organization's practices and Scrum were the pacing of the planning process, which was more akin to a continuous process instead of the iteration-paced Scrum model, and the average time it took to develop requirements, which was considerably longer than the time prescribed by Scrum. The latter discrepancy was considered slightly harmful. Conclusion: Changes to the Scrum practices should be evaluated in their context to separate harmful ones from necessary or beneficial changes mandated by the organizational context. © 2013 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：