2819 search results - page 152 / 564 » Associative Omega-product of Processes |
169
click to vote
PODS
1999
ACM
15 years 10 months ago
1999
ACM
We identify one of the incompatibility problems associated with atomic commit :protocols that prevents them from being used together and weiderive a correctness criterion that cap...
114
click to vote
HPCN
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The parallel implementation of GCR is addressed, with particular focus on communication costs associated with orthogonalization processes. This consideration brings up qu...
164
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
162
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...
166
click to vote
BPM
2003
Springer
15 years 10 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...