5. TES 2004: Toronto, Canada

• David B. Lomet:
  Robust Web Services via Interaction Contracts. 1-14
  Electronic Edition (link) BibTeX
• Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella:
  When are Two Web Services Compatible? 15-28
  Electronic Edition (link) BibTeX
• Marco Comuzzi, Barbara Pernici:
  Negotiation Support for Web Service Selection. 29-38
  Electronic Edition (link) BibTeX
• Cesare Pautasso, Gustavo Alonso:
  From Web Service Composition to Megaprogramming. 39-53
  Electronic Edition (link) BibTeX
• Lucas Bordeaux, Gwen Salaün:
  Using Process Algebra for Web Services: Early Results and Perspectives. 54-68
  Electronic Edition (link) BibTeX
• Roger S. Barga, Jing Shan:
  Flexible Coordination of E-Services. 69-79
  Electronic Edition (link) BibTeX
• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
  : A Tool for Automatic Composition ofServices Based on Logics of Programs. 80-94
  Electronic Edition (link) BibTeX
• Qing Zhang, Huiqiong Chen, Yijun Yu, Zhipeng Xie, Baile Shi:
  Dynamically Self-Organized Service Composition in Wireless Ad Hoc Networks. 95-106
  Electronic Edition (link) BibTeX
• Dickson K. W. Chiu, Zhe Shan, Patrick C. K. Hung, Qing Li:
  Designing Workflow Views with Flows for Large-Scale Business-to-Business Information Systems. 107-121
  Electronic Edition (link) BibTeX
• Bixin Liu, Yan Jia, Bin Zhou, Yufeng Wang:
  A Practice in Facilitating Service-Oriented Inter-Enterprise Application Integration. 122-135
  Electronic Edition (link) BibTeX
• Debopam Acharya, Nitin Prabhu, Vijay Kumar:
  Discovering and Using Web Services in M-Commerce. 136-151
  Electronic Edition (link) BibTeX
• Sajindra Jayasena, Stéphane Bressan, Stuart E. Madnick:
  Financial Information Mediation: A Case Study of Standards Integration for Electronic Bill Presentment and Payment Using the COIN Mediation Technology. 152-169
  Electronic Edition (link) BibTeX