Sciweavers

581 search results - page 117 / 117
» Race analysis for SystemC using model checking
Sort
View
SIGSOFT
2009
ACM
14 years 7 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...