CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 41 a 60 di 119
Titolo Data di pubblicazione Autore(i) File
Link Scheduling with End-to-end Delay Constraints in Wireless Mesh Networks 1-gen-2009 P., Cappanera; Lenzini, Luciano; Lori, Alessandro; Stea, Giovanni; Vaglini, Gigliola
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 1-gen-2009 Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa
Towards Resource-Optimal Routing Plans for Real-Time Traffic 1-gen-2010 Lori, Alessandro; Stea, Giovanni; Vaglini, Gigliola
Partial model checking via abstract interpretation 1-gen-2010 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Martini, L; Vaglini, Gigliola
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 1-gen-2010 Cappanera, P; Lenzini, Luciano; Lori, Alessandro; Stea, Giovanni; Vaglini, Gigliola
High availability using virtualization 1-gen-2010 Calzolari, Federico; Arezzini, Silvia; Ciampa, Alberto; Domenici, Andrea; Mazzoni, Enrico; Vaglini, Gigliola
Progettare una base di dati: dalle specifiche informali alle tabelle 1-gen-2011 Martorini, L.; Vaglini, Gigliola
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 1-gen-2011 Cappanera, P.; Lenzini, Luciano; Lori, Alessandro; Stea, Giovanni; Vaglini, Gigliola
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 1-gen-2011 Francesca, G.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 1-gen-2011 P., Cappanera; Lenzini, Luciano; Lori, Alessandro; Stea, Giovanni; Vaglini, Gigliola
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches 1-gen-2012 Santone, A; Vaglini, Gigliola
Abstract reduction in directed model checking CCS processes 1-gen-2012 Santone, A; Vaglini, Gigliola
Checking Safety Proprieties through Simulation and Heuristic Search 1-gen-2013 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, A; Vaglini, Gigliola
Incremental construction of systems: An efficient characterization of the lacking sub-system 1-gen-2013 Santone, A; Vaglini, Gigliola; Villani, Ml
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 1-gen-2013 P., Cappanera; Lenzini, Luciano; Lori, Alessandro; Stea, Giovanni; Vaglini, Gigliola
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 1-gen-2013 Cimino, MARIO GIOVANNI COSIMO ANTONIO; Vaglini, Gigliola
Partial order interpretation of a mu-calculus-like temporal logic. 1-gen-2013 Santone, A; Vaglini, Gigliola
Model checking safety properties through simulation and heuristic search 1-gen-2013 De Francesco, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
GreASE: A Tool for Efficient "Nonequivalence" Checking 1-gen-2014 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 1-gen-2014 Cimino, MARIO GIOVANNI COSIMO ANTONIO; Vaglini, Gigliola
Mostra risultati da 41 a 60 di 119
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