1477 search results - page 187 / 296 » Token flow control |
133
Voted
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...
143
Voted
COOPIS
2000
IEEE
15 years 6 months ago
2000
IEEE
The focus of traditional workflow management systems is on control flow within one process definition, that describes how a single case (i.e., workflow instance) is handled in isol...
136
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
112
Voted
ARVLSI
1995
IEEE
15 years 6 months ago
1995
IEEE
A new method of retiming plesiochronous data is described. This method features latency of less than a cell-time and requires only minimal support circuitry. No flow control or ha...
124
Voted
DBSEC
2006
15 years 4 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...