يعرض 1 - 10 نتائج من 17 نتيجة بحث عن '"Nardone, Vittoria"', وقت الاستعلام: 0.86s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Video Game Bad Smells: What They Are and How Developers Perceive Them.

    المؤلفون: NARDONE, VITTORIA, MUSE, BIRUK, ABIDI, MOUNA, KHOMH, FOUTSE, DI PENTA, MASSIMILIANO

    المصدر: ACM Transactions on Software Engineering & Methodology; Jul2023, Vol. 32 Issue 4, p1-35, 35p


    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Driver Identification Through Formal Methods.

    المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

    المصدر: IEEE Transactions on Intelligent Transportation Systems; Jun2022, Vol. 23 Issue 6, p5625-5637, 13p


    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Talos: no more ransomware victims with formal methods.

    المؤلفون: Cimitile, Aniello1, Nardone, Vittoria1, Visaggio, Corrado Aaron1, Mercaldo, Francesco2, Santone, Antonella3

    المصدر: International Journal of Information Security. Nov2018, Vol. 17 Issue 6, p719-738. 20p.

    مصطلحات موضوعية: *MALWARE, *CELL phones, *RANSOMWARE, *SECURITY management

    Reviews & Products: ANDROID (Operating system)

    النص الكامل

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Exploiting Model Checking for Mobile Botnet Detection.

    المؤلفون: Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

    المصدر: Procedia Computer Science; 2019, Vol. 159, p963-972, 10p

    مصطلحات موضوعية: BOTNETS, PERSONAL computers, MALWARE

    Reviews & Products: ANDROID (Operating system)

    النص الكامل

    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    A "pay-how-you-drive" car insurance approach through cluster analysis.

    المؤلفون: Carfora, Maria Francesca, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, Gigliola

    المصدر: Soft Computing - A Fusion of Foundations, Methodologies & Applications; May2019, Vol. 23 Issue 9, p2863-2875, 13p

    مصطلحات موضوعية: INSURANCE, INSURANCE companies, MACHINE learning, EXPERIMENTAL automobiles, CHIMERIC antigen receptors


    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Model Checking Based Approach for Compliance Checking.

    المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, Gigliola

    المصدر: Information Technology & Control; 2019, Vol. 48 Issue 2, p278-298, 21p

    مصطلحات موضوعية: MINING methodology, LEGAL compliance, DATA logging, SYSTEMS software

    النص الكامل

    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Model Checking Techniques Applied to Satellite Operational Mode Management.

    المؤلفون: Nardone, Vittoria, Santone, Antonella, Tipaldi, Massimo, Liuzza, Davide, Glielmo, Luigi

    المصدر: IEEE Systems Journal; Mar2019, Vol. 13 Issue 1, p1018-1029, 12p


    أضف إلى المفضلة
  8. 8
    مؤتمر
    Download Malware? No, thanks.

    المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado Aaron

    المصدر: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering; 2016, p22-28, 7p


    أضف إلى المفضلة
  9. 9
    مؤتمر
    Ransomware Inside Out.

    المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

    المصدر: 2016 11th International Conference on Availability, Reliability & Security (ARES); 2016, p628-637, 10p


    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques.

    المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

    المصدر: Procedia Computer Science; 2017, Vol. 112, p2519-2528, 10p

    مصطلحات موضوعية: MACHINE learning, DIAGNOSIS of diabetes, TREATMENT of diabetes, DEEP learning, HEALTH

    النص الكامل

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث