Sciweavers

2 search results - page 1 / 1
» Specification and Verification of Views over Composite Web S...
Sort
View
81
Voted
ICEIS
2007
IEEE
15 years 8 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 1 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