Minimum-cost delegation in service composition
暂无分享,去创建一个
Oscar H. Ibarra | Jianwen Su | Bala Ravikumar | Cagdas Evren Gerede | O. Ibarra | Jianwen Su | C. E. Gerede | B. Ravikumar
[1] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[2] Diego Calvanese,et al. Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.
[3] Tran Cao Son,et al. Adapting Golog for Composition of Semantic Web Services , 2002, KR.
[4] W.M.P. van der Aalst,et al. On the automatic generation of workflow processes based on product structures , 1999 .
[5] Roberto Gorrieri,et al. Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.
[6] Jianwen Su,et al. Tools for design of composite Web services , 2004, ACM SIGMOD Conference.
[7] Munindar P. Singh. Semantical Considerations on Workflows: An Algebra for Intertask Dependencies , 1995, DBPL.
[8] Oscar H. Ibarra,et al. Automated composition of e-services: lookaheads , 2004, ICSOC '04.
[9] Anca Muscholl,et al. A Lower Bound on Web Services Composition , 2008, Log. Methods Comput. Sci..
[10] Diego Calvanese,et al. Composition of Services with Nondeterministic Observable Behavior , 2005, ICSOC.
[11] Jianwen Su,et al. Web service discovery based on behavior signatures , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.
[12] David Haussler,et al. On the Complexity of Iterated Shuffle , 1984, J. Comput. Syst. Sci..
[13] Raman Kazhamiakin,et al. Choreography Conformance Analysis: Asynchronous Communications and Information Alignment , 2006, WS-FM.
[14] M. W. Shields. An Introduction to Automata Theory , 1988 .
[15] Shiyong Lu,et al. Semantic correctness of transactions and workflows , 2002 .
[16] Oscar H. Ibarra,et al. Online and minimum-cost ad hoc delegation in e-service composition , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.
[17] Sebastián Uchitel,et al. WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography , 2007, Test and Analysis of Web Services.
[18] Gösta Grahne,et al. Parallel Composition of Finite State Activity Automata , 2006, DCFS.
[19] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[20] Massimo Mecella,et al. Tutorial 3: Automatic Web Service Composition , 2006, ICWS.
[21] Oscar H. Ibarra,et al. On composition and lookahead delegation of e-services modeled by automata, , 2005, Theor. Comput. Sci..
[22] Diego Calvanese,et al. Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.
[23] Sanjay Ghemawat,et al. MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.
[24] Giuseppe De Giacomo,et al. Automatic Web Service Composition , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).
[25] Gösta Grahne,et al. Process Mediation in an Extended Roman Model , 2005 .
[26] Giuseppe De Giacomo,et al. Automatic Synthesis of New Behaviors from a Library of Available Behaviors , 2007, IJCAI.
[27] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[28] Arnold L. Rosenberg,et al. Counter machines and counter languages , 1968, Mathematical systems theory.
[29] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[30] Oscar H. Ibarra,et al. Composability of Infinite-State Activity Automata , 2004, ISAAC.
[31] Annapaola Marconi,et al. Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).
[32] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.
[33] Diego Calvanese,et al. Synthesis of underspecified composite e-services based on automated reasoning , 2004, ICSOC '04.
[34] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..
[35] Anne H. H. Ngu,et al. Declarative composition and peer-to-peer provisioning of dynamic Web services , 2002, Proceedings 18th International Conference on Data Engineering.