首页期刊导航|Foundations of computing and decision sciences
期刊信息/Journal information
Foundations of computing and decision sciences
Wydawnictwo Politechniki Poznznskiej
Foundations of computing and decision sciences

Wydawnictwo Politechniki Poznznskiej

季刊

0867-6356

Foundations of computing and decision sciences/Journal Foundations of computing and decision sciencesEIESCI
正式出版
收录年代

    ANN Modelling on Vulnerabilities Detection in Code Smells-Associated Android Applications

    Aakanshi GuptaDeepanshu SharmaKritika Phulli
    3-26页
    查看更多>>摘要:Abstract There has been a lot of software design concerns in recent years that come under the code smell. Android Applications Developments experiences more security issues related to code smells that lead to vulnerabilities in software. This research focuses on the vulnerability detection in Android applications which consists of code smells. A multi-layer perceptron-based ANN model is generated for detection of software vulnerabilities and has a precision value of 74.7% and 79.6% accuracy with 2 hidden layers. The focus is laid on 1390 Android classes and involves association mining of the software vulnerabilities with android code smells using APRIORI algorithm. The generated ANN model The findings represent that Member Ignoring Method (MIM) code smell shows an association with Bean Member Serialization (BMS) vulnerability having 86% confidence level and 0.48 support value. An algorithm has also been proposed that would help developers in detecting software vulnerability in the smelly source code of an android applications at early stages of development.

    Equilibrium stacks for a three-person game on a product of staircase-function continuous and finite strategy spaces

    Vadim Romanuke
    27-64页
    查看更多>>摘要:Abstract A method of solving a three-person game defined on a product of staircase-function strategy spaces is presented. The spaces can be finite and continuous. The method is based on stacking equilibria of “short” three-person games, each defined on an interval where the pure strategy value is constant. In the case of finite three-person games, which factually are trimatrix games, the equilibria are considered in general terms, so they can be in mixed strategies as well. The stack is any interval-wise combination (succession) of the respective equilibria of the “short” trimatrix games. Apart from the stack, there are no other equilibria in this “long” trimatrix game. An example is presented to show how the stacking is fulfilled for a case of when every “short” trimatrix game has a pure-strategy equilibrium. The presented method, further “breaking” the initial “long” game defined on a product of staircase-function finite spaces, is far more tractable than a straightforward approach to solving directly the “long” trimatrix game would be.

    ReqTagger: A Rule-Based Tagger for Automatic Glossary of Terms Extraction from Ontology Requirements

    Dawid WiśniewskiJędrzej PotoniecAgnieszka Ławrynowicz
    65-86页
    查看更多>>摘要:Glossary of Terms extraction from textual requirements is an important step in ontology engineering methodologies. Although initially it was intended to be performed manually, last years have shown that some degree of automatization is possible. Based on these promising approaches, we introduce a novel, human interpretable, rule-based method named ReqTagger, which can extract candidates for ontology entities (classes or instances) and relations (data or object properties) from textual requirements automatically. We compare ReqTagger to existing automatic methods on an evaluation benchmark consisting of over 550 requirements and tagged with over 1700 entities and relations expected to be extracted. We discuss the quality of ReqTagger and provide details showing why it outperforms other methods. We also publish both the evaluation dataset and the implementation of ReqTagger.

    An Improved Unordered Pair Bat Algorithm for Solving the Symmetrical Traveling Salesman Problem

    Zhang NanLv ZhiminQiao ShenLi Ting...
    87-103页
    查看更多>>摘要:Bat algorithm is an effective swarm intelligence optimization algorithm which is widely used to solve continuous optimization problems. But it still has some limitations in search process and can’t solve discrete optimization problems directly. Therefore, this paper introduces an unordered pair and proposes an unordered pair bat algorithm (UPBA) to make it more suitable for solving symmetric discrete traveling salesman problems. To verify the effectiveness of this method, the algorithm has been tested on 23 symmetric benchmarks and compared its performance with other algorithms. The results have shown that the proposed UPBA outperforms all the other alternatives significantly in most cases.