Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
Synchronization via interacting reinforcement
2014-01-01 Dai, Pra; Louis, ; Minelli, IDA GERMANA
Synchronized Regular Expressions
2003-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Enrico, Tronci; MARISA VENTURINI, Zilli
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs
2016-01-01 D'Emidio, Mattia; Frigioni, Daniele; Navarra, Alfredo
Synergies for Trains and Cars Automation in the Era of Virtual Networking
2018-01-01 Rispoli, F.; Neri, A.; Stallo, C.; Salvatori, P.; Santucci, F.
Synthesis and characterization of Ti-silicalite-1 for the direct oxidation of benzene to phenol by hydrogen peroxide
2008-01-01 Aloise, A.; Bonelli, B.; Sposato, C.; Macario, A.; D'Alessandro, T.; Ballarini, N.; Guidetti, S.; Fornasari, G.; Cavani, F.; Piumetti, M.; Garrone, E.; Giordano, G.
Synthesis and Verification of Self-aware Computing Systems
2017-01-01 Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo
Synthesis methodology aimed at improving the quality of TSC devices
1999-01-01 Bolchini, C.; Pomante, L.; Salice, F.; Sciuto, D.
Synthesis of "correct" adaptors for protocol enhancement in component based systems
2004-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo; Garlan, D.
Synthesis of an internal model for nonlinear output regulation
1987-01-01 DI BENEDETTO, MARIA DOMENICA
Synthesis of concurrent and distributed adaptors for component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis of context-aware business-to-business processes for location-based services through choreographies
2022-01-01 Filippone, G.; Autili, M.; Tivoli, M.
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
2005-01-01 Inverardi, Paola; Mostarda, L; Tivoli, Massimo; Autili, Marco
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains
2015-01-01 DELLA PENNA, Giuseppe; Intrigila, Bedenetto; Magazzeni, Daniele; Mercorio, Fabio
Synthesis of decentralized adaptors for concurrent and distributed component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems
2008-01-01 Autili, Marco; Mostarda, L; Navarra, A; Tivoli, Massimo
Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios
2008-01-01 Autili, Marco
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution
2017-01-01 Autili, M; Inverardi, P; Perucci, A; Tivoli, M.
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques
2008-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Magazzeni, Daniele
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
2010-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesis of resilient choreographies
2013-01-01 Autili, Marco; DI SALLE, Amleto; Tivoli, Massimo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Synchronization via interacting reinforcement | 1-gen-2014 | Dai, Pra; Louis, ; Minelli, IDA GERMANA | |
Synchronized Regular Expressions | 1-gen-2003 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Enrico, Tronci; MARISA VENTURINI, Zilli | |
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs | 1-gen-2016 | D'Emidio, Mattia; Frigioni, Daniele; Navarra, Alfredo | |
Synergies for Trains and Cars Automation in the Era of Virtual Networking | 1-gen-2018 | Rispoli, F.; Neri, A.; Stallo, C.; Salvatori, P.; Santucci, F. | |
Synthesis and characterization of Ti-silicalite-1 for the direct oxidation of benzene to phenol by hydrogen peroxide | 1-gen-2008 | Aloise, A.; Bonelli, B.; Sposato, C.; Macario, A.; D'Alessandro, T.; Ballarini, N.; Guidetti, S.; Fornasari, G.; Cavani, F.; Piumetti, M.; Garrone, E.; Giordano, G. | |
Synthesis and Verification of Self-aware Computing Systems | 1-gen-2017 | Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo | |
Synthesis methodology aimed at improving the quality of TSC devices | 1-gen-1999 | Bolchini, C.; Pomante, L.; Salice, F.; Sciuto, D. | |
Synthesis of "correct" adaptors for protocol enhancement in component based systems | 1-gen-2004 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo; Garlan, D. | |
Synthesis of an internal model for nonlinear output regulation | 1-gen-1987 | DI BENEDETTO, MARIA DOMENICA | |
Synthesis of concurrent and distributed adaptors for component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo | |
Synthesis of context-aware business-to-business processes for location-based services through choreographies | 1-gen-2022 | Filippone, G.; Autili, M.; Tivoli, M. | |
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach | 1-gen-2005 | Inverardi, Paola; Mostarda, L; Tivoli, Massimo; Autili, Marco | |
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains | 1-gen-2015 | DELLA PENNA, Giuseppe; Intrigila, Bedenetto; Magazzeni, Daniele; Mercorio, Fabio | |
Synthesis of decentralized adaptors for concurrent and distributed component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo | |
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems | 1-gen-2008 | Autili, Marco; Mostarda, L; Navarra, A; Tivoli, Massimo | |
Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios | 1-gen-2008 | Autili, Marco | |
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution | 1-gen-2017 | Autili, M; Inverardi, P; Perucci, A; Tivoli, M. | |
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques | 1-gen-2008 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Magazzeni, Daniele | |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems | 1-gen-2010 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Synthesis of resilient choreographies | 1-gen-2013 | Autili, Marco; DI SALLE, Amleto; Tivoli, Massimo |
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