IBM / MIT Press / Expedia / Delphi / Emerging Technologies / National Laboratory / Priceline / /
Country
Switzerland / China / /
Currency
USD / / /
Facility
Synthesized Web Services Ting Deng Wenfei Fan Leonid Libkin Yinghui Wu Beihang University University / National Laboratory of Software Development Environment / Beihang University / library L / /
IndustryTerm
Conversation protocols / data-driven Web applications / Web Services Conversation Language / Web Services Description Language / Web Services We / data-driven Web services / approximation algorithm / nondeterministic algorithm / Web services composition / web-services-based workflows / Web service mediators / obsolete services / e - business / executable web services / Web service discovery / Expedia / Web service discovery methods / approximation algorithms / e-services / Web services discovery / library services / transition-based semantic web services / Web Services Framework / acceptable algorithmic solutions / Service selection algorithms / Web Services version / reactive electronic services / synthesized Web services / Web Services Ting Deng Wenfei Fan Leonid Libkin Yinghui Wu Beihang University University / heuristic algorithms / web services artifacts synthesis problem static analysis transducers / online ticket booking systems / Priceline / composite services / travel dates / electronic commerce / Web services / /
Organization
Beihang University / MIT / University of Edinburgh / Extending / European Commission / /
Person
S. Abiteboul / V / F. Neven / L. Sui / V / Ai / F. Geerts / Ting Deng Wenfei Fan Leonid Libkin / G. Gambosi / V / A. Poggi / W. Gelade / Leonid Libkin Yinghui Wu / /
Position
vp / mediator / synthesized mediator / travel planner / General / node vp the service / given mediator / /
ProgrammingLanguage
Business Process Execution Language / XML / /
Technology
PTIME approximation algorithm / XML / sms / NP algorithm / peer-to-peer / nondeterministic algorithm / Service selection algorithms / Quality of Service / Conversation protocols / PTIME algorithm / approximation algorithm / PTIME approximation algorithms / B. The algorithm / /