Sciweavers

6 search results - page 2 / 2
» Repository Synchronization in the OAI Framework
Sort
View
SIGSOFT
2008
ACM
14 years 4 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan