Sciweavers

3619 search results - page 267 / 724
» Humor modeling in the interface
Sort
View
EURODAC
1995
IEEE
149views VHDL» more  EURODAC 1995»
15 years 10 months ago
Cosimulation of real-time control systems
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...
WSC
2004
15 years 8 months ago
Using XML and BOMs to Rapidly Compose Simulations and Simulation Environments
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...
Paul Gustavson, Tram Chase
OAS
2003
15 years 8 months ago
A UML ontology and derived content language for a travel booking scenario
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...
Stephen Cranefield, Jin Pan, Martin K. Purvis
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
CPHYSICS
2007
95views more  CPHYSICS 2007»
15 years 6 months ago
Surface melting of superheated crystals. Atomistic simulation study
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...