Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
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
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors
2006-01-01 Tivoli, Massimo; Autili, Marco
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
2007-01-01 Autili, Marco; Inverardi, Paola; Navarra, A; Tivoli, Massimo
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787
2007-01-01 Autili, Marco; Inverardi, Paola; Alfredo, Navarra; Massimo, Tivoli
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