1728 search results - page 245 / 346 » Formal Modeling of Process Migration |
116
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
144
Voted
PPSN
1994
Springer
15 years 4 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
90
Voted
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
123
click to vote
IS
2006
15 years 21 days ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
118
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...