1728 search results - page 215 / 346 » Formal Modeling of Process Migration |
107
Voted
INFSOF
2008
15 years 24 days ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
108
Voted
ICWE
2007
Springer
15 years 7 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
127
Voted
ENTCS
2008
15 years 26 days ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
100
Voted
FTML
2008
15 years 26 days ago
2008
The formalism of probabilistic graphical models provides a unifying framework for capturing complex dependencies among random variables, and building large-scale multivariate stat...
129
Voted
JOT
2010
14 years 11 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...