1728 search results - page 174 / 346 » Formal Modeling of Process Migration |
173
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
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...
134
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
125
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
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...
109
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
122
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...