Sciweavers

121 search results - page 2 / 25
» Modelling Wildfire Dynamics via Interacting Automata
Sort
View
SPIN
2004
Springer
13 years 10 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
CORR
2011
Springer
160views Education» more  CORR 2011»
12 years 8 months ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen
VR
2003
IEEE
192views Virtual Reality» more  VR 2003»
13 years 10 months ago
Interactive Flowing of Highly Viscous Volumes in Virtual Environments
We present a simple and linear 3D cellular automata approach for animating the behaviors of viscous flow volumes in virtual environments. An accurate modeling of fluid flow usu...
Xiaoming Wei, Wei Li, Arie E. Kaufman
SCP
2011
228views Communications» more  SCP 2011»
12 years 11 months ago
Channel-based coordination via constraint satisfaction
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...
Dave Clarke, José Proença, Alexander...
CORR
2010
Springer
188views Education» more  CORR 2010»
13 years 4 months ago
A physically-based particle model of emergent crowd behaviors
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...
Laure Heïgéas, Annie Luciani, Joë...