Sciweavers

16 search results - page 4 / 4
» How to Implement a Theory of Correctness in the Area of Busi...
Sort
View
SIGSOFT
2009
ACM
14 years 2 days ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...