1728 search results - page 132 / 346 » Formal Modeling of Process Migration |
96
Voted
PE
2000
Springer
15 years 24 days ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
110
Voted
EDOC
2000
IEEE
15 years 5 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
114
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
103
Voted
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
92
Voted
ACL
2007
15 years 2 months ago
2007
We present a formalization of dependency labeling with Integer Linear Programming. We focus on the integration of subcategorization into the decision making process, where the var...