IRIS Institutional Research Information System

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 11.051 a 11.070 di 19.169
Titolo Data di pubblicazione Autore(i) File
Model Checking Paxos in Spin 1-gen-2014 Delzanno, G.; Tatarek, M.; Traverso, Riccardo
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Model Checking Security Protocols Using a Logic of Belief 1-gen-2000 Massimo, Benerecetti; Giunchiglia, Fausto
Model Checking Syllabi and Student Careers 1-gen-2001 Sebastiani, Roberto; Alessandro, Tomasi; Giunchiglia, Fausto
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 1-gen-2016 Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Model Checking-Based Analysis of Multiagent Systems 1-gen-2001 Massimo, Benerecetti; Giunchiglia, Fausto
Model checking: teoria ed applicazioni 1-gen-2018 Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio
Model Driven Architecture approach in Tropos 1-gen-2004 Novikau, Aliaksei
Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming 1-gen-2018 Munante, Denisse; Kifetew, Fitsum Meshesha; Gorronogoitia, Jesus; Schaniel, Ronnie; Perini, Anna; Susi, Angelo
A Model for an Innovative 5G-Oriented Architecture, Based on Small Cells Coordination for Multi-tenancy and Edge Services 1-gen-2016 Chochliouros, I. P; I., Giannoulakis; T., Kourtis; M., Belesioti; E., Sfakianakis; A. S., Spiliopoulou; N., Bompetsis; E., Kafetzakis; Goratti, Leonardo; A., Dardamanis
A model for automatic selection of IoT services in ambient assisted living for the elderly 1-gen-2023 Sabatucci, Luca; Cossentino, Massimo; Di Napoli, Claudia; Susi, Angelo
Model predictions and evaluation of mitigation measures for the 2009 H1N1 influenza pandemic in Italy 1-gen-2010 Ajelli, Marco; Merler, Stefano; A., Pugliese; C., Rizzo
Model predictions and evaluation of possible control strategies for the 2009 A/H1N1v influenza pandemic in Italy 1-gen-2011 Ajelli, Marco; Merler, Stefano; A., Pugliese; C., Rizzo
Model Selection Criteria for Acoustic Segmentation 1-gen-2000 Cettolo, Mauro; Federico, Marcello
Model selection for power efficient analysis of measurement data 1-gen-2006 A., Marconato; A., Boni; Caprile, Bruno Giovanni; D., Petri
Model Selection of Combined Neural Nets for Speech Recognition, Chapter 9 1-gen-1999 Furlanello, Cesare; Giuliani, Diego; Merler, Stefano; Trentin, Edmondo
Model Theoretic Semantics for Information Integration 1-gen-1998 Ghidini, Chiara; Serafini, Luciano
Mostrati risultati da 11.051 a 11.070 di 19.169
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