Sciweavers

7 search results - page 2 / 2
» Interface Generation and Compositional Verification in JavaP...
Sort
View
IUI
2004
ACM
13 years 10 months ago
An intelligent assistant for interactive workflow composition
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
Jihie Kim, Marc Spraragen, Yolanda Gil
DEBU
2008
100views more  DEBU 2008»
13 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