Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation.
Walid FdhilaDavid KnupleschStefanie Rinderle-MaManfred ReichertPublished in: CoRR (2021)
Keyphrases
- significant improvement
- theoretical analysis
- step wise
- efficient implementation
- optimization problems
- computational complexity
- artificial intelligence
- computationally efficient
- learning algorithm
- orders of magnitude
- recently developed
- real time
- video sequences
- lower bound
- database systems
- machine learning algorithms
- benchmark datasets
- classification algorithm
- computationally expensive
- times faster
- machine learning
- highly optimized