Search
Now showing items 1-5 of 5
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
Publisher: IEEE
Year: 2014
An On-the-Fly Approach for the Verification of Opacity in Critical Systems
Publisher: IEEE
Year: 2014
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach
Publisher: IEEE
Year: 2014
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions
Publisher: IEEE
Year: 2014
A Behavior-Aware Systematic Approach for Merging Business Process Fragments
Publisher: IEEE
Year: 2014