Sciweavers

13966 search results - page 83 / 2794
» Internet as a
Sort
View
ICWS
2008
IEEE
15 years 6 months ago
Towards Verifying Contract Regulated Service Composition
Alessio Lomuscio, Hongyang Qu, Monika Solanki