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 20.455 a 20.474 di 33.631
Titolo Data di pubblicazione Autore(i) File
Mode coupling and field distribution in sub-mm permanently bent single mode optical fibers 1-gen-2013 Iadicicco, A; Paladino, D.; Moccia, M; Quero, G; Campopiano, S; Bock, W J; Cusano, A
mode coupling and field distribution in sub-mm permanently bent single mode optical fibers 1-gen-2013 A., Iadidicco; D., Paladino; M., Moccia; Quero, Giuseppe; S., Campopiano; W. J., Bock; A., Cusano
Mode II Delamination Fatigue Characteristics of Woven Carbon/Epoxy Composite 1-gen-1997 Gentile, D; Broggiato, G. B.; Newaz, G. M.; Ahamd, J
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 1-gen-2020 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G.
Model checking based approach for compliance checking 1-gen-2019 Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, A.; Vaglini, G.
A Model Checking based Proposal for Mobile Colluding Attack Detection 1-gen-2019 Casolare, R.; Martinelli, F.; Mercaldo, F.; Santone, A.
Model checking BDI logics over finite-state worlds 1-gen-2020 la Torre, S.; Parlato, G.
Model checking for data anomaly detection 1-gen-2019 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Model checking for malicious family detection and phylogenetic analysis in mobile environment 1-gen-2020 Cimino, M. G. C. A.; De Francesco, N.; Mercaldo, F.; Santone, A.; Vaglini, G.
Model Checking for Mobile Android Malware Evolution 1-gen-2017 Cimitile, A.; Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Vaglini, G.
MODEL CHECKING FOR REAL-TIME ATTACK DETECTION IN WATER DISTRIBUTION SYSTEMS|ПРОВЕРКА МОДЕЛИ ДЛЯ ОБНАРУЖЕНИЯ В РЕАЛЬНОМ ВРЕМЕНИ АТАК В СИСТЕМАХ РАСПРЕДЕЛЕНИЯ ВОДЫ 1-gen-2022 Mercaldo, F.; Martinelli, F.; Santone, A.
Model Checking Multithreaded Programs by means of reduced models 1-gen-2004 S., Gradara; Santone, Antonella; G., Vaglini; M. L., Villani
Model checking properties on reduced trace systems 1-gen-2014 Santone, Antonella; Vaglini, G.
Model Checking Techniques applied to Satellite Operational Mode Management 1-gen-2019 Nardone, Vittoria; Santone, Antonella; Tipaldi, Massimo; Liuzza, Davide; Glielmo, Luigi
Model Checking to Detect the Hummingbad Malware 1-gen-2019 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G.
Model Checking to Improve Precision of Design Patterns Instances Identification in OO Systems 1-gen-2015 Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella
Model Checking to support Action Controls in the Purchasing Process 1-gen-2016 Raucci, D; Nardone, V; Santone, Antonella
A Model Checking-based Approach to Malicious Family Detection in iOS Environment 1-gen-2022 Ciaramella, G.; Iadarola, G.; Martinelli, F.; Mercaldo, F.; Santone, A.
Model definition for 3D phenomena describing microclimate through the use of devices for automatic environment’s detection 1-gen-2009 Catalano, Pasquale; Fucci, Flavio; Gerbino, Salvatore; Giametta, Ferruccio; LA FIANZA, Giovanna; Simoni, A.
A model for a borehole heat exchanger working with CO2 1-gen-2014 R., Mastrullo; A. W., Mauro; L., Menna; Vanoli, GIUSEPPE PETER
Mostrati risultati da 20.455 a 20.474 di 33.631
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