ABSTRACT Lutess is a testing environment designed for synchronous software specified with Lustre,... more ABSTRACT Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as operational profiles and behavioral patterns. Lutess deals with software and specifications involving only Boolean inputs and outputs. In this paper we propose an extension of Lutess, using constraint logic programming (CLP), making possible to deal with numeric inputs and outputs. In particular, we define an appropriate execution model for test input generation and show how test data generation according to the main guiding facilities of Lutess can still be performed. Furthermore, operational profile based generation becomes more powerful thanks to the introduction of CLP solvers capabilities which make possible to associate occurrence probabilities to any Boolean expression
2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2019
In this paper, we propose to use the blockchain technology as a mechanism to store and share geos... more In this paper, we propose to use the blockchain technology as a mechanism to store and share geospatial projects. Blockchain helps to improve efficiency and security. Smart contracts provide a secure, distributed and shared decentralized ledger of all assets and transactions. We will discuss a way to implement a platform on which scientists can share their studies. We propose a design methodology for the mentioned smart contracts, which enables the development of different use cases using blockchain technology. A detailed design of the smart contracts, functions and processes is presented. We will provide an outline of advantages and limitations of blockchain in general, and for the proposed platform.
International journal of engineering and advanced technology, Apr 30, 2022
Recommender Systems are software tools that can assist developers with a wide range of activities... more Recommender Systems are software tools that can assist developers with a wide range of activities, from reusing codes to suggest developers what to do during development of these systems. This paper outlines an approach to generating recommendation using SQL Semantic Search. Performance measurement of this recommender system is conducted by calculating precision, recall and F1-measure. Subjective evaluations consisted of 10 experienced developers for validating the recommendation. A statistical test t-Test is used to compare the means of two approaches of evaluations.
Abstract: The technology has changed the way people live, learn and work. Successful usage of tec... more Abstract: The technology has changed the way people live, learn and work. Successful usage of technology in education is an important challenge, for different reasons. In one hand, children should be acquainted with ICT and develop competencies and skills from their younger age to face with the challenges of 21 centuries. In other hand, it has been shown that the usage of ICT can increase the quality of teaching and that traditional methods are no longer in position to fulfill students ’ needs. The technology can offer a wider access to knowledge, adapted and personalized to the individual skills and interests of each student. The implementation of this technology requires technical infrastructure, adequate preparation of teaching staff for the use of resources and adaptation of teaching didactics based on modern technology. In this paper, we present a survey of different factors that influence the successful implementation of ICT in teaching.
International Journal of Engineering and Advanced Technology
One of the essential components of Recommender Systems in Software Engineering is a static analys... more One of the essential components of Recommender Systems in Software Engineering is a static analysis that is answerable for producing recommendations for users. There are different techniques for how static analysis is carried out in recommender systems. This paper drafts a technique for the creation of recommendations using Cosine Similarity. Evaluation of such a system is done by using precision, recall, and so-called Dice similarity coefficient. Ground truth evaluations consisted of using experienced software developers for testing the recommendations. Also, statistical T-test has been applied in comparing the means of the two evaluated approaches. These tests point out the significant difference between the two compared sets.
Annals of Emerging Technologies in Computing, 2021
The development of natural language processing resources for Albanian has grown steadily in recen... more The development of natural language processing resources for Albanian has grown steadily in recent years. This paper presents research conducted on unsupervised learning-the challenges associated with building a dictionary for the Albanian language and creating part-of-speech tagging models. The majority of languages have their own dictionary, but languages with low resources suffer from a lack of resources. It facilitates the sharing of information and services for users and whole communities through natural language processing. The experimentation corpora for the Albanian language includes 250K sentences from different disciplines, with a proposal for a part-of-speech tagging tag set that can adequately represent the underlying linguistic phenomena. Contributing to the development of Albanian is the purpose of this paper. The results of experiments with the Albanian language corpus revealed that its use of articles and pronouns resembles that of more high-resource languages. Accor...
The purpose of this paper is to validate the real-time system in the Linux-RTAI/LXRT (Real Time A... more The purpose of this paper is to validate the real-time system in the Linux-RTAI/LXRT (Real Time Application Interface/Linux Real-time) environment, in the presence of hardware and software faults. Due to the simplicity of creating and injecting faults, the method of Software Implemented Fault Injection (SWIFI) is selected. With this mode of fault injection, a tested system can emulate real conditions, in which it is required to function. The Linux operating system was selected due to open source code and ease of manipulation of various parts. Verifications of some tests performed earlier by different authors, on various hardware and software platforms, have been made. The Linux operating system has been modified with an RTAI/LXRT patch in order to gain real-time system functionality. Subsequently, modification of the respective parts of the operating system was made to enable the injection of faults. After the injection of faults, several testing frames were selected to verify and v...
2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019
Natural Language Processing11Henceforth: NLP is an emerging research area in today's era. The... more Natural Language Processing11Henceforth: NLP is an emerging research area in today's era. The NLP resources are quite useful when it comes to building a machine capable of translating between linguistic pairs – a solution that strives to resolve the language barrier problems. Based on this premise, we are focusing our research on feature identification from large text collections of Albanian language. ‘Rule-based’ or statistical Part-of-Speech22Henceforth: POS (POS) taggers are sought to be utilized that would either need considerable time for rule development or a sufficient amount of manually labelled data. In light of this, the impact of this research is based on exploring numerous cases that are conducive to progress and further development of this field. One of the goals of this paper is to conduct a systematic review study; to explore and analyze existing research that seek to target low resources language such as is the case of the Albanian language. According to prior observation of published research conducted since 2015, we are focusing our research on studies that have been published in areas that are relevant to Natural Language Processing. Based on considerable load of related research on this field, it is essential to conduct a review and provide an outline of the research situation as well as current developments in this specific but important field of research.
ABSTRACT Lutess is a testing environment designed for synchronous software specified with Lustre,... more ABSTRACT Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as operational profiles and behavioral patterns. Lutess deals with software and specifications involving only Boolean inputs and outputs. In this paper we propose an extension of Lutess, using constraint logic programming (CLP), making possible to deal with numeric inputs and outputs. In particular, we define an appropriate execution model for test input generation and show how test data generation according to the main guiding facilities of Lutess can still be performed. Furthermore, operational profile based generation becomes more powerful thanks to the introduction of CLP solvers capabilities which make possible to associate occurrence probabilities to any Boolean expression
2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2019
In this paper, we propose to use the blockchain technology as a mechanism to store and share geos... more In this paper, we propose to use the blockchain technology as a mechanism to store and share geospatial projects. Blockchain helps to improve efficiency and security. Smart contracts provide a secure, distributed and shared decentralized ledger of all assets and transactions. We will discuss a way to implement a platform on which scientists can share their studies. We propose a design methodology for the mentioned smart contracts, which enables the development of different use cases using blockchain technology. A detailed design of the smart contracts, functions and processes is presented. We will provide an outline of advantages and limitations of blockchain in general, and for the proposed platform.
International journal of engineering and advanced technology, Apr 30, 2022
Recommender Systems are software tools that can assist developers with a wide range of activities... more Recommender Systems are software tools that can assist developers with a wide range of activities, from reusing codes to suggest developers what to do during development of these systems. This paper outlines an approach to generating recommendation using SQL Semantic Search. Performance measurement of this recommender system is conducted by calculating precision, recall and F1-measure. Subjective evaluations consisted of 10 experienced developers for validating the recommendation. A statistical test t-Test is used to compare the means of two approaches of evaluations.
Abstract: The technology has changed the way people live, learn and work. Successful usage of tec... more Abstract: The technology has changed the way people live, learn and work. Successful usage of technology in education is an important challenge, for different reasons. In one hand, children should be acquainted with ICT and develop competencies and skills from their younger age to face with the challenges of 21 centuries. In other hand, it has been shown that the usage of ICT can increase the quality of teaching and that traditional methods are no longer in position to fulfill students ’ needs. The technology can offer a wider access to knowledge, adapted and personalized to the individual skills and interests of each student. The implementation of this technology requires technical infrastructure, adequate preparation of teaching staff for the use of resources and adaptation of teaching didactics based on modern technology. In this paper, we present a survey of different factors that influence the successful implementation of ICT in teaching.
International Journal of Engineering and Advanced Technology
One of the essential components of Recommender Systems in Software Engineering is a static analys... more One of the essential components of Recommender Systems in Software Engineering is a static analysis that is answerable for producing recommendations for users. There are different techniques for how static analysis is carried out in recommender systems. This paper drafts a technique for the creation of recommendations using Cosine Similarity. Evaluation of such a system is done by using precision, recall, and so-called Dice similarity coefficient. Ground truth evaluations consisted of using experienced software developers for testing the recommendations. Also, statistical T-test has been applied in comparing the means of the two evaluated approaches. These tests point out the significant difference between the two compared sets.
Annals of Emerging Technologies in Computing, 2021
The development of natural language processing resources for Albanian has grown steadily in recen... more The development of natural language processing resources for Albanian has grown steadily in recent years. This paper presents research conducted on unsupervised learning-the challenges associated with building a dictionary for the Albanian language and creating part-of-speech tagging models. The majority of languages have their own dictionary, but languages with low resources suffer from a lack of resources. It facilitates the sharing of information and services for users and whole communities through natural language processing. The experimentation corpora for the Albanian language includes 250K sentences from different disciplines, with a proposal for a part-of-speech tagging tag set that can adequately represent the underlying linguistic phenomena. Contributing to the development of Albanian is the purpose of this paper. The results of experiments with the Albanian language corpus revealed that its use of articles and pronouns resembles that of more high-resource languages. Accor...
The purpose of this paper is to validate the real-time system in the Linux-RTAI/LXRT (Real Time A... more The purpose of this paper is to validate the real-time system in the Linux-RTAI/LXRT (Real Time Application Interface/Linux Real-time) environment, in the presence of hardware and software faults. Due to the simplicity of creating and injecting faults, the method of Software Implemented Fault Injection (SWIFI) is selected. With this mode of fault injection, a tested system can emulate real conditions, in which it is required to function. The Linux operating system was selected due to open source code and ease of manipulation of various parts. Verifications of some tests performed earlier by different authors, on various hardware and software platforms, have been made. The Linux operating system has been modified with an RTAI/LXRT patch in order to gain real-time system functionality. Subsequently, modification of the respective parts of the operating system was made to enable the injection of faults. After the injection of faults, several testing frames were selected to verify and v...
2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019
Natural Language Processing11Henceforth: NLP is an emerging research area in today's era. The... more Natural Language Processing11Henceforth: NLP is an emerging research area in today's era. The NLP resources are quite useful when it comes to building a machine capable of translating between linguistic pairs – a solution that strives to resolve the language barrier problems. Based on this premise, we are focusing our research on feature identification from large text collections of Albanian language. ‘Rule-based’ or statistical Part-of-Speech22Henceforth: POS (POS) taggers are sought to be utilized that would either need considerable time for rule development or a sufficient amount of manually labelled data. In light of this, the impact of this research is based on exploring numerous cases that are conducive to progress and further development of this field. One of the goals of this paper is to conduct a systematic review study; to explore and analyze existing research that seek to target low resources language such as is the case of the Albanian language. According to prior observation of published research conducted since 2015, we are focusing our research on studies that have been published in areas that are relevant to Natural Language Processing. Based on considerable load of related research on this field, it is essential to conduct a review and provide an outline of the research situation as well as current developments in this specific but important field of research.
Uploads
Papers by Besnik Selimi