Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000MAIN
Print
1. 
Cover image for Verification of communication protocols in web services : model-checking service compositions
2. 
Cover image for On the move to meaningful internet systems 2007 CoopIS, DOA, ODBASE, GADA, and IS : OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings
3. 
Cover image for On the move to meaningful internet systems 2007 CoopIS, DOA, ODBASE, GADA, and IS : OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings
4. 
Cover image for On the move to meaningful internet systems 2007 Part I: OTM 2007 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings
5. 
Cover image for On the move to meaningful internet systems 2007 Part II: OTM 2007 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings