Sfoglia per Autore
Reasoning about agents' interaction protocols inside DCaseLP
2004-01-01 M. BALDONI; C. BAROGLIO; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. MASCARDI; V. PATTI; C. SCHIFANELLA
Design and development of a visual environment for writing DyLOG programs
2004-01-01 C. SCHIFANELLA; L. LUSSO; M. BALDONI; C. BAROGLIO.
Verifying protocol conformance for logic-based communicating agents
2004-01-01 M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA
A formal framework for handling audiovisual materials
2004-01-01 BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C.
Personalization, verification and conformance for logic-base communicating agents
2005-01-01 M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; V. MASCARDI; C. SCHIFANELLA; L. TORASSO
Verifying Protocol Conformance for Logic-Based Communicating Agents
2005-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Verifying the conformance of web services to global interaction protocols: a first step
2005-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Reasoning About Agents' Interaction Protocols Inside DCaseLP
2005-01-01 M. BALDONI; C. BAROGLIO; V. MASCARDI; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. PATTI; C. SCHIFANELLA
Modeling, verifying and reasoning about web services
2006-01-01 A. MARTELLI; M. BALDONI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA
The Need of Capability Requirements Inside Choreographies and Interaction Protocols
2006-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Interaction Protocols and Capabilities: a preliminary report
2006-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Interaction Protocols and Capabilities: a preliminary report
2006-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Service selection by choreography-driven matching
2007-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Preserving player's goals: a choreography-driven matchmaking approach
2007-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Goal preservation by choreography-driven matchmaking
2007-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Reasoning on choreographies and capability requirements
2007-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Conservative re-use ensuring matches for service selection
2008-01-01 M. BALDONI; C. BAROGLIO; V.PATTI; C. SCHIFANELLA
Service selection by choreography-driven matching
2008-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Structure- and Extension-Informed Taxonomy Alignment
2008-01-01 K. Selcuk Candan; Mario Cataldi; Maria Luisa Sapino; Claudio Schifanella.
Conservative re-use ensuring matches for service selection
2008-01-01 Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana; Schifanella, Claudio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reasoning about agents' interaction protocols inside DCaseLP | 2004 | M. BALDONI; C. BAROGLIO; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. MASCARDI; V. PATTI; C. SCHIFANELLA | |
Design and development of a visual environment for writing DyLOG programs | 2004 | C. SCHIFANELLA; L. LUSSO; M. BALDONI; C. BAROGLIO. | |
Verifying protocol conformance for logic-based communicating agents | 2004 | M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA | |
A formal framework for handling audiovisual materials | 2004 | BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C. | |
Personalization, verification and conformance for logic-base communicating agents | 2005 | M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; V. MASCARDI; C. SCHIFANELLA; L. TORASSO | |
Verifying Protocol Conformance for Logic-Based Communicating Agents | 2005 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Verifying the conformance of web services to global interaction protocols: a first step | 2005 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Reasoning About Agents' Interaction Protocols Inside DCaseLP | 2005 | M. BALDONI; C. BAROGLIO; V. MASCARDI; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Modeling, verifying and reasoning about web services | 2006 | A. MARTELLI; M. BALDONI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA | |
The Need of Capability Requirements Inside Choreographies and Interaction Protocols | 2006 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Interaction Protocols and Capabilities: a preliminary report | 2006 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Interaction Protocols and Capabilities: a preliminary report | 2006 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Service selection by choreography-driven matching | 2007 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Preserving player's goals: a choreography-driven matchmaking approach | 2007 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Goal preservation by choreography-driven matchmaking | 2007 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Reasoning on choreographies and capability requirements | 2007 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Conservative re-use ensuring matches for service selection | 2008 | M. BALDONI; C. BAROGLIO; V.PATTI; C. SCHIFANELLA | |
Service selection by choreography-driven matching | 2008 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
Structure- and Extension-Informed Taxonomy Alignment | 2008 | K. Selcuk Candan; Mario Cataldi; Maria Luisa Sapino; Claudio Schifanella. | |
Conservative re-use ensuring matches for service selection | 2008 | Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana; Schifanella, Claudio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile