1728 search results - page 206 / 346 » Formal Modeling of Process Migration |
137
click to vote
APN
2007
Springer
15 years 7 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
109
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we introduce a formal email workflow model based on traditional email, which enables the user to define and execute ad-hoc workflows in an intuitive way. This model ...
119
click to vote
ECEASST
2010
14 years 7 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
101
Voted
IJCAI
1989
15 years 2 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
109
Voted
DIMVA
2009
15 years 1 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...