History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Designing Case Handling Systems
Transactions on Petri Nets and Other Models of Concurrency I
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Adaptive workflow nets for grid computing
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Hi-index | 0.00 |
Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for application mapping on platforms. Throughput analysis of these SDFGs is ...