|
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 |
|
|
|
|
University timetabling in ECLiPSe
Gavanelli, Marco
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 |
|
|
|