Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
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
Synthesizing adapters for conversational web-services from their WSDL interface
2010-01-01 Pelliccione, Patrizio; Tivoli, Massimo; Cavallaro, L; DI NITTO, E; Pradella, M.
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
2014-01-01 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola
Synthesizing self-adaptive connectors meeting functional and performance concerns
2013-01-01 DI MARCO, Antinisca; Inverardi, Paola; Spalazzese, R.
System Architecture for the MOSTRAIN Project (Mobile Services for High Speed Trains
1997-01-01 Graziosi, Fabio; Irvine, J; Couvy, J. P.; Laurila, J; Mossakowski, G; Robin, P.
System design as derivation via rewriting
1992-01-01 Parisi Presicce, F; Pierantonio, Alfonso
System Design using SystemC-Plus: A Case Study in the Telecom Domain
2004-01-01 Farina, R; Pizzamiglio, L; Pomante, L
A system for automatic image categorization
2009-01-01 Moscato, V.; Penta, A.; Persia, F.; Picariello, A.
A system level approach in designing dual-duplex fault tolerant embedded systems
2002-01-01 Bolchini, C.; Pomante, L.; Salice, F.; Sciuto, D.
System Level Formal Verification via Model Checking Driven Simulation
2013-01-01 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico
A System-Level Co-Design Methodology for DBMS-Specific Architectures
2008-01-01 Pomante, L
System-Level Design Space Exploration for Application-Specific HW/SW Systems
2009-01-01 Pomante, Luigi; Graziosi, Fabio; Imbriglio, L.
System-Level Design Space Exploration for Dedicated Heterogeneous Multi-Processor Systems
2013-01-01 Pomante, L
System-level design space exploration for dedicated heterogeneous multi-processor systems
2011-01-01 Pomante, L.
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