Sciweavers

29386 search results - page 122 / 5878
» On modeling of self-organizing systems
Sort
View
ICCS
2005
Springer
15 years 3 months ago
Multiscale Modelling of Bubbly Systems Using Wavelet-Based Mesh Adaptation
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
Tom Liu, Phil Schwarz
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
APCCM
2008
14 years 11 months ago
Model Eco-Systems: Preliminary Work
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
Aditya Ghose, George Koliadis
DAGSTUHL
2010
14 years 11 months ago
Modeling and Visualization of Cardiovascular Systems
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...
Thomas Wischgoll