1728 search results - page 94 / 346 » Formal Modeling of Process Migration |
WWW
2009
ACM
16 years 1 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
133
Voted
CORR
2004
Springer
15 years 17 days ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
98
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
97
Voted
ISPW
1994
IEEE
15 years 4 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
110
Voted
TCS
2011
14 years 7 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...