Search
Now showing items 1-10 of 59
Formal and Operational Study of P-Devs
(2011-12-15)
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 ...
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 ...
Design and Simulation Study of a Scalable and Resilient Network Architecture for a Hybrid Cloud; Its Billing System
(2011-12-15)
A Hybrid Cloud refers to a cloud computing environment that provides pay-as-you-go services to users using the integration of public and private clouds resources. Cloud computing is one of the latest areas in the field of ...
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 ...
Theoretical and Computational Modeling of an Implantable Biomedical Device for Localized Hyperthermia and Drug Delivery
(2011-10-24)
The advent of nanotechnology together with Biomedical Microelectro-Mechanical Systems (BioMEMS) for improved efficacy in treatment of cancer has resulted in the development of an implantable biomedical device for localized ...