Browsing Computer Science by Subject "2011 Computer Science"

Now showing items 1-7 of 7

  • Automated Code Synthesis for Modeling and Simulation 

    Aliyu, Hamzat Olanrewaju (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 

    Soremekun, Olamide Ezekiel (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 

    Ignace, Djitog (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 ...

  • Learning System and a Comparative Study on Learning Style of Students in Africa(Nigeria) and those in Asia (JAPAN) 

    Mohammed, Hassan (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 ...

  • A Multimedia Learning System for Selected topics of Physics 

    Arreytambe, Tabot (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. ...

  • Simulation Interoperability 

    Osayawe, Ighile (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 ...