Search
Now showing items 1-7 of 7
A Multimedia Learning System for Selected topics of Physics
(2011-12-15)
The usage of computers in Physics Instruction began in the seventies and ever since then, lots of research efforts have been devoted to studying various emerging technologies and their impact on the learning process. ...
Automated Code Synthesis for Modeling and Simulation
(2011-11-15)
We present Automated Code Synthesis for Modeling and Simulation, a MDA [1] approach to Modeling and Simulation with DEVS [2] formalism.
The DEVS-Driven Modeling Language (DDML) [3] has been defined to ease simulation ...
Formal Analysis of DDML
(2011-12-15)
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: ...
Formal and Operational Study of C-DEVS
(2011-11-12)
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 ...
Simulation Interoperability
(2011-12-15)
DEVS models are implemented in various programming languages using various strategies. There is a scientific need to couple these models for larger simulations. Therefore there is a need for interoperability between these ...
Learning System and a Comparative Study on Learning Style of Students in Africa(Nigeria) and those in Asia (JAPAN)
(2011-12)
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 ...