Sciweavers

2 search results - page 1 / 1
» Specification and Verification of Views over Composite Web S...
Sort
View
109
Voted
ICEIS
2007
IEEE
15 years 11 months ago
Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets
Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar,...
DEBU
2008
100views more  DEBU 2008»
15 years 5 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu