1728 search results - page 205 / 346 » Formal Modeling of Process Migration |
109
Voted
SOFSEM
2007
Springer
15 years 7 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
MIS
2001
Springer
15 years 5 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
139
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
132
click to vote
IDEAS
2003
IEEE
15 years 6 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
107
click to vote
ACTA
2007
15 years 29 days ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...