We propose a framework for formal analysis of DEVS Driven Modeling Language (DDML) models in order to assess and evaluate the properties of DDML models. This framework semantically maps the hierarchical levels of DDML: ...

C-DEVS is a formalism for modeling and analysis of discrete event systems. It refers to the original formalism defined by Zeigler in 1976. While the simulation algorithms are well defined, their implementation is a challenge ...

Discrete Event System Specification (DEVS) is a sound formal modeling and simulation (M&S) structure based on generic dynamic system concepts. PDEVS (Parallel Discrete Event System Specification) is a well-known formalism ...

Current advancement in VLSI technology allows more circuit to be integrated on a single chip forming a System on Chip (SoC). The state of art in on-chip intermodule connection of using a shared bus with a common arbiter ...

Having a central database for Nigeria which organizations can rely on for identification/verification purposes has been a plan in the pipeline for many years now. This has become urgent because of the nation’s current ...

Recommender systems are web-based platforms or software that use various machine learning methods to propose useful items to users. Several techniques have been used to develop such a system for generating a list of ...

Traffic simulation has become one of the most used approaches for traffic analysis in support of the design and evaluation of traffic systems. Although traffic flow models have been applied for almost a century to describe, ...

Traffic simulation has become one of the most used approaches for traffic analysis in support of the design and evaluation of traffic systems. Although traffic flow models have been applied for almost a century to describe, ...

Timetabling presents an NP-hard combinatorial optimization problem which requires an efficient search algorithm. This research aims at designing a genetic algorithm for timetabling real-world school resources to fulfil a ...

The Opportunistic network is an interesting development in the Mobile Ad hoc Network (MANET) environment. It has no end-to-end connectivity among nodes. Unlike MANETs, the nodes in Opportunistic network are independent on ...

The Opportunistic network is an interesting development in the Mobile Ad hoc Network (MANET) environment. It has no end-to-end connectivity among nodes. Unlike MANETs, the nodes in Opportunistic network are independent on ...

Artificial Neural network (ANN) is an area of computing that is modeled after the neural network of the biological brain and over the last few decades, has experienced huge success in its application in areas such as ...

The major international agencies in charge of nutrition are becoming increasingly concerned about global agricultural production in particular. Food insecurity has emerged in some populated areas, including Africa, as a ...

In recent times, the rate of growth in information available on the internet has resulted in large amounts of data and an increase in online users. The Recommendation System has been employed to empower users to make ...

In recent times, the rate of growth in information available on the internet has resulted in large amounts of data and an increase in online users. The Recommendation System has been employed to empower users to make ...

Wireless sensor network is application specific, which is deployed in an interested area like about hundred or thousands of sensor nodes. All the sensor nodes communicate via a wireless medium and works cooperatively to ...

Information System (IS) is an integrated set of components for collecting, storing, and processing data and for providing information and knowledge. IS is commonly used by organizations, business firms, institutions to ...

Taking Nigeria as a case study, most educational institutions, be it at the primary, secondary or tertiary level are faced with the challenge of over population of student’s in a single classroom. Also, the teacher who ...

We attempt the design and development of an educational game based on the Input-Process-Outcome model. This tool helps students and other professionals to learn and appreciate the decision-making processes carried out by ...

In different parts of the world especially African and Asian continents, students attend classes and taught in groups using the same method of teaching applied to all students irrespective of whether or not they have the ...