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]

Authors

Daniela Berardi

This author has not been identified. Look up 'Daniela Berardi' in Google

Giuseppe De Giacomo

This author has not been identified. Look up 'Giuseppe De Giacomo' in Google

Maurizio Lenzerini

This author has not been identified. Look up 'Maurizio Lenzerini' in Google

Massimo Mecella

This author has not been identified. Look up 'Massimo Mecella' in Google

Diego Calvanese

This author has not been identified. Look up 'Diego Calvanese' in Google