The behaviour of a real-time system can be validated at the system level by means of a real-time operating system model in a VHDL simulation environment. The model consists of the...
Juha-Pekka Soininen, Tuomo Huttunen, Kari Tiensyrj...
This paper explores the application of Base Object Models (BOMs), an emerging XML standard, for rapidly composing simulations and simulation environments. We examine how pattern c...
This paper illustrates an approach to combining the benefits of a multi-agent system architecture with the use of industry-standard modelling techniques using the Unified Modeli...
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Melting front velocity dependencies on temperature are calculated using the molecular-dynamics method for the EAM models of Al and Fe as well as for the Lennard-Jones system. Di...
Alexey Y. Kuksin, Genri E. Norman, Vladimir V. Ste...