1728 search results - page 3 / 346 » Formal Modeling of Process Migration |
SPE
2002
13 years 5 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
LICS
2009
IEEE
14 years 27 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
STEP
2003
IEEE
13 years 11 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
ICPPW
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
ER
2008
Springer
13 years 8 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...