CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 40
Titolo Data di pubblicazione Autore(i) File
A Personalization Service for Curriculum Planning 2006 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
A Personalization Web Service for Curricula Planning and Validation 2007 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
A Service-Oriented Approach for Curriculum Planning and Validation 2007 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Declarative representation of curricula models: an LTL- and UML-based approach 2007 M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO
Curricula Modeling and Checking 2007 M. BALDONI; C. BAROGLIO; E. MARENGO
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture 2007 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Curriculum Model Checking: Declarative Representation and Verification of Properties 2007 M. BALDONI; E. MARENGO
Joint Achievement of Services' Personal Goals 2009 M. BALDONI; C. BAROGLIO; E. MARENGO; V. PATTI; C. SCHIFANELLA
Constraints among Commitments: Regulative Specification of Interaction Protocols 2010 M. BALDONI; C. BAROGLIO; E. MARENGO
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 2010 M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi
Validazione e pianificazione automatica di percorsi formativi 2010 M. BALDONI; E. MARENGO
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) 2010 Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Behavior-oriented Commitment-based Protocols 2010 M. Baldoni; C. Baroglio; E. Marengo
Models of Agent Interaction based on Modal Logics 2011 BALDONI M.; BAROGLIO C.; MARENGO E.; PATTI V.; SCHIFANELLA C.
On Temporal Regulations and Commitment Protocols 2011 E. Marengo; M. Baldoni; C. Baroglio
Constraint Modeling for Curriculum Planning and Validation 2011 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation 2011 M. Baldoni; C. Baroglio; E. Marengo; V. Patti
An Interaction-oriented Agent Framework for Open Environments 2011 M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi
Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS 2011 M. BALDONI; C. BAROGLIO; E. MARENGO
Commitments with Regulations: Reasoning about Safety and Control in REGULA 2011 E. Marengo; M. Baldoni; C. Baroglio; A. K. Chopra; V. Patti; M. P. Singh
Mostrati risultati da 1 a 20 di 40
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