Displaying similar documents to “Feature Diagram Formalization Based on Directed Hypergraphs”

Extending the UML for modelling variability for system families

Silva Robak, Bogdan Franczyk, Silva Robak (2002)

International Journal of Applied Mathematics and Computer Science

Similarity:

The process of modelling and developing commonality and variability for system families should be supported by suitable methods and notations. The object-oriented methods and their notations, which are used at present, focus on the development of a single system at a time. In this paper we analyse feature models as a representation of the common parts and variants contained in a system family, and propose using a feature diagram as a basic representation of commonality, variability and...

Performance evaluation of MapReduce using full virtualisation on a departmental cloud

Horacio González-Vélez, Maryam Kontagora (2011)

International Journal of Applied Mathematics and Computer Science

Similarity:

This work analyses the performance of Hadoop, an implementation of the MapReduce programming model for distributed parallel computing, executing on a virtualisation environment comprised of 1 + 16 nodes running the VMWare workstation software. A set of experiments using the standard Hadoop benchmarks has been designed in order to determine whether or not significant reductions in the execution time of computations are experienced when using Hadoop on this virtualisation platform on a...

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

Adam Meissner (2011)

International Journal of Applied Mathematics and Computer Science

Similarity:

A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning....

KIS: An automated attribute induction method for classification of DNA sequences

Rafał Biedrzycki, Jarosław Arabas (2012)

International Journal of Applied Mathematics and Computer Science

Similarity:

This paper presents an application of methods from the machine learning domain to solving the task of DNA sequence recognition. We present an algorithm that learns to recognize groups of DNA sequences sharing common features such as sequence functionality. We demonstrate application of the algorithm to find splice sites, i.e., to properly detect donor and acceptor sequences. We compare the results with those of reference methods that have been designed and tuned to detect splice sites....

GammaPolarSlicer

Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto (2011)

Computer Science and Information Systems

Similarity: