This article provides a survey of methods and paradigms for teaching Computer Networks
(CN). Since the theoretical concepts are rather abstract in this subject, and students often …

We introduce DesignDEVS, a simulation development environment based on the Discrete
Event System Specification (DEVS) formalism. DesignDEVS aims to promote understanding …

DesignDEVS is a simulation development environment based on the Discrete Event System
Specification (DEVS) formalism. This paper provides an in-depth overview of the software …

Although the Discrete Event System specification (DEVS) has over recent decades provided
systems engineers with a scalable approach to modeling and simulation, the formalism has …

Validation is a degree of which how correct a model represents the behavior of its system
counterpart from the perspective of intended use of the model. The degree of representation …

High-performance buildings and smart cities focus on reducing energy consumption while
improving occupant comfort. An efficient building performance analysis would consider …

In this study, a tool was developed for design and implementation of a new discrete event
based distributed simulation for large-scale networks. By using DEVS as a modeling …

Many higher education programs contain the subject of computer networking. Enabling
students to understand communication protocols in computer networks is a fundamental …

Unloading and loading activities consume high operational expenses at cargo exchange
terminals; for instance, the costs of these activities are approximately half of the total costs of …

Cette thèse s' inscrit au carrefour du monde de la modélisation et simulation de systèmes
d'une part et du monde de l'ingénierie logicielle d'autre part. Elle vise à faire bénéficier un …