-
1
المساهمون: vari, De Benedictis, Alessandra, Mazzocca, Nicola, Nardone, Roberto, Venticinque, Salvatore, Benedictis, De, and Mazzocca, A., and Nardone, N., and Venticinque, R.
المصدر: SMARTCOMP
مصطلحات موضوعية: Energy utilization, Hierarchical system, Stochastic activity network (SAN), Computer science, Distributed computing, Smart energy application, Cognitive computing, Context (language use), Stochastic Activity Networks, 02 engineering and technology, Electric power transmission network, Design and evaluation, Smart power, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Representation (mathematics), 020203 distributed computing, Stochastic systems, Application behavior, 020208 electrical & electronic engineering, Stochastic Activity Network, Computer Science Applications1707 Computer Vision and Pattern Recognition, System configurations, Cognitive system, Energy consumption, Petri net, Systems modeling, Stochastic model, Computer Networks and Communication, Smart grid, Model-based evaluation, Smart energie
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::429e104e968a4cff5c4291d81fba8e77Test
https://doi.org/10.1109/smartcomp.2018.00090Test -
2
المساهمون: Nardone, R., De Tommasi, G., Mazzocca, N., Pironti, A., Vittorini, V.
المصدر: ETFA
مصطلحات موضوعية: Model checking, 0209 industrial biotechnology, Finite-state machine, Theoretical computer science, Computer science, 020208 electrical & electronic engineering, 02 engineering and technology, Petri net, 020901 industrial engineering & automation, Promela, Unified Modeling Language, Asynchronous communication, Control system, 0202 electrical engineering, electronic engineering, information engineering, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fce63e703be851c37ca4460ee0c749b4Test
https://doi.org/10.1109/etfa.2018.8502565Test -
3
المؤلفون: Francesco Mercaldo, Antonella Santone, Vittoria Nardone
المصدر: ARES
مصطلحات موضوعية: Model checking, 021110 strategic, defence & security studies, Java, Computer science, business.industry, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, Computer security, computer.software_genre, Formal methods, World Wide Web, 0202 electrical engineering, electronic engineering, information engineering, Ransomware, Malware, Mobile telephony, Android (operating system), business, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a945414bc5908d74d4027fb010cc67fTest
https://doi.org/10.1109/ares.2016.35Test -
4
المؤلفون: Antonella Santone, Luigi Glielmo, Massimo Tipaldi, Vittoria Nardone
المصدر: 2016 IEEE Metrology for Aerospace (MetroAeroSpace).
مصطلحات موضوعية: Model checking, Correctness, Spacecraft, business.industry, Computer science, Control reconfiguration, 020207 software engineering, 02 engineering and technology, Reliability engineering, Consistency (database systems), Probabilistic CTL, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Markov decision process, business, Formal verification
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::e41301ba4179e3399bfeae4a0fcba0c5Test
https://doi.org/10.1109/metroaerospace.2016.7573276Test -
5
المؤلفون: Harvey Guthrey, Chuanxiao Xiao, Peter Hacke, Chun-Sheng Jiang, Mowafak Al-Jassim, David S. Albin, Bobby To, Steve Johnston, Jerry Tynan, John Moseley, Marco Nardone, John M. Waddle, Steven P. Harvey, Andreas Gerber, Helio Moutinho, Jeffery A. Aguiar
المصدر: 2016 IEEE 43rd Photovoltaic Specialists Conference (PVSC).
مصطلحات موضوعية: business.industry, Computer science, Scale (chemistry), Photovoltaic system, Electrical engineering, 02 engineering and technology, 010402 general chemistry, 021001 nanoscience & nanotechnology, Solar energy, 01 natural sciences, 0104 chemical sciences, Reliability engineering, Characterization (materials science), Reliability (semiconductor), Thermography, Degradation (geology), 0210 nano-technology, business, Energy (signal processing)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::1d2f848e35530cf9e924ef4f13070cbcTest
https://doi.org/10.1109/pvsc.2016.7749737Test -
6
المصدر: WETICE
مصطلحات موضوعية: Model checking, 021110 strategic, defence & security studies, Database, Computer science, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, computer.software_genre, Computer security, Formal methods, Cryptovirology, Installation, Phone, Trojan, 0202 electrical engineering, electronic engineering, information engineering, Malware, Android (operating system), computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cba66b9f5934007d5e0fe9ce8ff03b57Test
https://doi.org/10.1109/wetice.2016.67Test -
7
المؤلفون: Mauro Iacono, Roberto Nardone, Stefano Marrone, Maurizio D'Arienzo
المساهمون: AAVV, D'Arienzo, Maurizio, Iacono, Mauro, R., Nardone, Marrone, Stefano
المصدر: AINA Workshops
مصطلحات موضوعية: Mobile radio, Computer science, business.industry, Distributed computing, Mobile Sensor Networks, Energy consumption, Energy Consumption, Petri net, Complex network, Network topology, Fluid Stochastic Petri Nets, Wireless Sensor Networks, Stochastic Petri net, Wireless, business, Wireless sensor network, Computer network
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cbe69b3468e7c6b2bf842522e9a06e8Test
http://hdl.handle.net/11367/99066Test -
8
المؤلفون: Barbara Pralio, Pierangelo Garino, Tania Cerquitelli, Luca Venturini, Silvia Chiusano, Luca Cagliero, Marco Nardone
المصدر: ICDE Workshops
مصطلحات موضوعية: Computer science, business.industry, Big data, Context (language use), data warehousing, Computer security, computer.software_genre, Data science, Data warehouse, Open data, smart city, Smart city, Business intelligence, Data mining, Performance indicator, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1a060a7bb551c854438e31d1ba19ef2Test
https://doi.org/10.1109/icdew.2015.7129559Test -
9
المؤلفون: S.S. Dixit, J.B. Nardone
المصدر: ICASSP
مصطلحات موضوعية: Packet switching, Transmission (telecommunications), Transmission delay, Computer science, Real-time computing, Frame (networking), Discrete cosine transform, Inter frame, Fast packet switching, Variable bitrate, Algorithm, Synchronization
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5a197c25305a53d2057e415a85f43243Test
https://doi.org/10.1109/icassp.1990.116019Test -
10
المؤلفون: Dirnfeld, Ruth, Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria
المساهمون: Dirnfeld, Ruth, Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria
المصدر: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)
Microsoft Academic Graph
ITSCمصطلحات موضوعية: LPWAN, Warning system, Situation awareness, Computer science, business.industry, 020206 networking & telecommunications, 02 engineering and technology, 7. Clean energy, Field (computer science), Wide area, 13. Climate action, Information and Communications Technology, Rail transportation, 0202 electrical engineering, electronic engineering, information engineering, media_common.cataloged_instance, 020201 artificial intelligence & image processing, European union, Telecommunications, business, Intelligent transportation system, Wireless sensor network, media_common
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1e139234324adfd15e1aa7443ebea08Test