Search
Now showing items 21-30 of 87
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: ...
Interactive Simulation of Well Placement Technology
(2013-04-12)
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 ...
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 ...
A Cloud-Based Java Compiler for Smart Devices
(2016-06-15)
The Java programming language is widely used in industry and business. Therefore, academic institutions worldwide include Java learning as a basic part of their Computer Science and Engineering curricula. At the same time, ...
A Smart Media-Based Recommendation System
(2014-12-15)
Smart media devices such as: smartphones and tablets are getting more powerful, smarter, cheaper and hence more popular. Recommendation systems become very common in e-business and e-Commerce, for example: Amazon, Google, ...
Effective Dynamic Re-mapping Algorithm for low power Network- on-chip NoC.
(2010-09-12)
With the increase in the possibility of incorporating multiple cores on a single chip (MCSoC), the issue of an efficient interconnection that is scalable, takes up small area and has low power consumption must be taken ...
Modeling and Simulation as a Service
(2014-12-15)
DEVS Modeling & Simulation separates a model from its simulator. A DEVS model describes the structure and the behavior of a system, while a DEVS simulator generates the trajectories of these descriptions through execution ...
Generic Animation Tool for Traffic Simulation
(2016-06-15)
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, ...
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 ...
Technological Considerations for Devs-Based System Control
(2016-06-15)
System control has grown from manual control where humans sense the environment, analyse the result and determine control actions to semi-automated control. In semi-automated control sensing is done by sensing devices and ...