Sciweavers

2050 search results - page 227 / 410
» A formal foundation for process modeling
Sort
View
CCGRID
2010
IEEE
15 years 7 months ago
Streamflow Programming Model for Data Streaming in Scientific Workflows
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
Chathura Herath, Beth Plale
MODELS
2009
Springer
16 years 1 months ago
Limitations of Automating Model Migration in Response to Metamodel Adaptation
In consequence of changing requirements and technological progress, modeling languages are subject to change. When their metamodels are adapted to reflect those changes, existing ...
Markus Herrmannsdoerfer, Daniel Ratiu
SEMWEB
2010
Springer
15 years 4 months ago
Semantic Techniques for Enabling Knowledge Reuse in Conceptual Modelling
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
Jorge Gracia del Río, Jochem Liem, Esther L...
167
Voted
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
15 years 12 months ago
On the Limits of Bottom-Up Computer Simulation: Towards a Nonlinear Modeling Culture
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
Kurt A. Richardson
FTCS
1998
89views more  FTCS 1998»
15 years 8 months ago
The Timed Asynchronous Distributed System Model
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
Flaviu Cristian, Christof Fetzer