University timetabling in ECLiPSe
Gavanelli, Marco     details >>

Anno: 2006

Abduction for specifying and verifying web service choreographies
Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, Sergio     details >>

Anno: 2006

Policy-based reasoning for smart web-service interaction
Alberti, Marco; Federico, Chesani; Gavanelli, Marco; Lamma, Evelina; Paola, Mello; Marco, Montali; Paolo, Torroni     details >>

Anno: 2006