Sfoglia per Serie
FJMIP: A calculus for a modular object initialization
2007-01-01 V. BONO; J. KUS'MIEREK
A Formal Account of Contracts for Web Services
2006-01-01 Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca
Formal Encoding of Drama Ontology.
2005-01-01 Rossana Damiano;Vincenzo Lombardo;Antonio Pizzo
A Framework for the Development of Distributed, Context-aware Adaptive Hypermedia Applications
2008-01-01 L. Ardissono; A. Goy; G. Petrone
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
2015-01-01 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
From field-based coordination to aggregate computing
2018-01-01 Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
From Interoperable User Model to Interoperable User Modeling
2006-01-01 F. CARMAGNOLA; F. CENA
From local pattern mining to relevant bi-cluster characterization
2005-01-01 R. G. Pensa; J-F. Boulicaut
From Time Petri Nets to Timed Automata: an Untimed Approach
2007-01-01 D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
2020-01-01 Casadei R.; Viroli M.; Audrito G.; Damiani F.
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de’ Liguoro, Ugo
Gaussian processes and neuronal modeling
2005-01-01 E. DI NARDO; A. NOBILE; E. PIROZZI; L.M. RICCIARDI
A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases
2015-01-01 Anselma, Luca; Piovesan, Luca; Sattar, Abdul; Stantic, Bela; Terenziani, Paolo
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
2013-01-01 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti
GeoDrinking: how to extract value from an extended social wine drinking experience
2011-01-01 A. Marcengo; A. Rapp
Geographic Summaries from Crowdsourced Data
2014-01-01 G. Rizzo; G. Falcone; R. Meo; R.G. Pensa; R. Troncy; V. Milicic
Global Progress in Dynamically Interleaved Multiparty Sessions
2008-01-01 Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida
Goal Preservation by Choreography-Driven Matchmaking
2009-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Granular Semantic User Similarity in the Presence of Sparse Data
2013-01-01 F. Osborne; S. Likavec; F. Cena
Grasping metaphors: Lexical semantics in metaphor analysis
2018-01-01 Enrico Mensa, Aureliano Porporato, Daniele P. Radicioni
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| FJMIP: A calculus for a modular object initialization | 2007 | V. BONO; J. KUS'MIEREK | |
| A Formal Account of Contracts for Web Services | 2006 | Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca | |
| Formal Encoding of Drama Ontology. | 2005 | Rossana Damiano;Vincenzo Lombardo;Antonio Pizzo | |
| A Framework for the Development of Distributed, Context-aware Adaptive Hypermedia Applications | 2008 | L. Ardissono; A. Goy; G. Petrone | |
| From Featured Transition Systems to Modal Transition Systems with Variability Constraints | 2015 | ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca | |
| From field-based coordination to aggregate computing | 2018 | Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | |
| From Interoperable User Model to Interoperable User Modeling | 2006 | F. CARMAGNOLA; F. CENA | |
| From local pattern mining to relevant bi-cluster characterization | 2005 | R. G. Pensa; J-F. Boulicaut | |
| From Time Petri Nets to Timed Automata: an Untimed Approach | 2007 | D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON | |
| FScaFi : A Core Calculus for Collective Adaptive Systems Programming | 2020 | Casadei R.; Viroli M.; Audrito G.; Damiani F. | |
| A Game Interpretation of Retractable Contracts | 2016 | Barbanera, Franco; de’ Liguoro, Ugo | |
| Gaussian processes and neuronal modeling | 2005 | E. DI NARDO; A. NOBILE; E. PIROZZI; L.M. RICCIARDI | |
| A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases | 2015 | Anselma, Luca; Piovesan, Luca; Sattar, Abdul; Stantic, Bela; Terenziani, Paolo | |
| A Generalized Commitment Machine for 2CL Protocols and Its Implementation | 2013 | Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti | |
| GeoDrinking: how to extract value from an extended social wine drinking experience | 2011 | A. Marcengo; A. Rapp | |
| Geographic Summaries from Crowdsourced Data | 2014 | G. Rizzo; G. Falcone; R. Meo; R.G. Pensa; R. Troncy; V. Milicic | |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008 | Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida | |
| Goal Preservation by Choreography-Driven Matchmaking | 2009 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
| Granular Semantic User Similarity in the Presence of Sparse Data | 2013 | F. Osborne; S. Likavec; F. Cena | |
| Grasping metaphors: Lexical semantics in metaphor analysis | 2018 | Enrico Mensa, Aureliano Porporato, Daniele P. Radicioni |
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