Academic Articles & Research Papers

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

Research on Speaker Aware Training Method Based on Improved i-vector

The performance of speaker aware training method based on i-vector is poor because of using MFCC which has the relative poor robustness as the input feature for the extraction of the i-vector.To solve this problem,an improved i-vector based...

A Fuzzy DEMATEL Application for Criteria Affecting Database Management System Selection in a Specific Problem Context

Database management systems (DBMS) are one of the basic building blocks of many software projects developed in technology companies. However, each DBMS supports different features. It is practically impossible and costly to try out all DBMS...

A deep learning recognition model for landslide terrain based on multi-source data fusion

The traditional high-level remote landslide recognition efficiency which relies on the artificial discrimination of geological experts is low. In this paper, an automatic landslide terrain recognition model based on deep learning is develop...

Non-Motorized License Plate Recognition and Localization Method Based on Semantic Alignment and Hierarchical Optimization

Holding non-motorized vehicles accountable for legal violations effectively enhances urban traffic safety. Non-motorized vehicle license plates are characterized by small size, dense distribution, and ease of being obscured, which leads to ...

A Novel Construction Method of Bayesian Neural Networks Based on Multi-type Engineering Knowledge

Abstract In the field of engineering, the utilization of surrogate models to replace computationally intensive simulation software has become a widely adopted approach. However, when addressing complex engineering problems, the costs of sim...

A survey of the use of crowdsourcing in software engineering

The management of software engineering, Part I: Principles of software engineering

Software engineering may be defined as the systematic design and development of software prod-ucts and the management of the software pro-cess. Software engineering has as one of its primary objectives the production of programs that meet s...

Outline of a Paradigm Change in Software Engineering

Systems and software engineering -- Vocabulary

The systems and software engineering disciplines are continuing to mature while information technology advances. This International Standard was prepared to collect and standardize terminology. Its purpose is to identify terms currently in ...

Collaboration in Software Engineering: A Roadmap

Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort is developing shared understanding surrounding multiple arti...

Software engineering: Theory and practice

A book that describes and applies Software Engineering methods according to the state of the art of the subject matter; it is integrated with a proper exemplification and evolves as each topic is introduced. The material is designed for und...

Software engineering for security

Integrating Security Considerations smoothly into early life-cycle activities: uniform application of cost-benefit analyses to both functional, and security requrements; unified modeling approaches to integrate the engineering of both funct...

Agent-based software engineering

The technology of intelligent agents and multi-agent systems is expected to alter radically the way in which complex, distributed, open systems are conceptualised and implemented. The paper considers the problem of building a multi-agent sy...

Models in software engineering ? an introduction

THE PROPERNESS OF ADOBE FLASH BASIS INTERACTIVE MEDIA FOR RESPIRATORY SYSTEM LEARNING MATERIAL

This study aimed to determine the feasibility of adobe flash-based interactive media on the material of respiratory system. This research was a descriptive qualitative. The data were validated by using questionnaire. The validation was done...

An Intelligent Fuzzy System for Diabetes Disease Detection using Harris Hawks Optimization

This paper proposed a fuzzy expert system for diagnosing diabetes. In the proposed method, at first, the fuzzy rules are generated based on the Pima Indians Diabetes Database (PIDD) and then the fuzzy membership functions are tuned using th...

Enhanced Deep Learning Model for Classification of Retinal Optical Coherence Tomography Images

Retinal optical coherence tomography (OCT) imaging is a valuable tool for assessing the condition of the back part of the eye. The condition has a great effect on the specificity of diagnosis, the monitoring of many physiological and pathol...

Electronic Nose System for Safety Monitoring at Refineries

In this paper an Electronic Nose (ENose) is presented which is designed for both at identifying the gas type and if it is pure or not, and at estimating the concentrations of the components of that mixture of LPG gases (Methane, Hexane, or ...

Pengembangan Sistem Informasi DataRawat Berbasis Web

Rekam medis adalah catatan kesehatan pasien berdasarkan hasil pemeriksaan, pengobatan, tindakan, dan layanan yang telah diberikan kepada pasien. Beberapa instansi medis telah menggunakan sistem rekam medis elektronik atau Electronic Medical...