Synthesis of underspecified composite ::::e::::-services based on automated reasoning

Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese. Synthesis of underspecified composite ::::e::::-services based on automated reasoning. In Marco Aiello, Mikio Aoyama, Francisco Curbera, Mike P. Papazoglou, editors, Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings. pages 105-114, ACM, 2004. [doi]

Abstract

Abstract is missing.