Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Spagnolo G. O."'
Autor:
Lami G., Spagnolo G. O.
Publikováno v:
SEAA 2022-48th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 294–297, Maspalomas, Gran Canaria, Spain, 31/08-02/09/2022
The suppliers of software-intensive electronic automotive components are facing technical challenges due to the innovation rush and the growing time pressure from customers. As the quality of on-board automotive electronic systems is strongly depende
Publikováno v:
ISTI Technical Report, ISTI-2022-TR/020, pp.1–9, 2022
Questo Rapporto Tecnico intende fornire una chiara e completa descrizione del nuovo processo di gestione dei flussi amministrativi nel contesto delle Certificazioni degli apparati per la memorizzazione elettronica e la trasmissione telematica dei dat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::a2aaf3a9c8151a2d3486afb39ba82eba
https://openportal.isti.cnr.it/doc?id=people______::53ae3d5107d7769ed758d9e7163a6a86
https://openportal.isti.cnr.it/doc?id=people______::53ae3d5107d7769ed758d9e7163a6a86
Autor:
Spagnolo G. O., Surano D.
Publikováno v:
ISTI Technical Report, ISTI-2021-TR/013, pp.1–29, 2021
Esportazione Memoria Permanente di Dettaglio Registratore Telematico, codifiche ed uso proposta estensione tracciato esportazione memoria di dettaglio per consentire la esportazione di tutte le informazioni salvate nella memoria di dettaglio del RT.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8477fb735cde95e59d005b62159c99a1
https://publications.cnr.it/doc/459855
https://publications.cnr.it/doc/459855
Publikováno v:
ERCIM news (2019): 34–35.
info:cnr-pdr/source/autori:Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A./titolo:Smart Services for Railways/doi:/rivista:ERCIM news/anno:2019/pagina_da:34/pagina_a:35/intervallo_pagine:34–35/volume
info:cnr-pdr/source/autori:Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A./titolo:Smart Services for Railways/doi:/rivista:ERCIM news/anno:2019/pagina_da:34/pagina_a:35/intervallo_pagine:34–35/volume
The project STINGRAY (SmarT station INtelliGent RAilwaY) addresses the role of the railway station, traditionally seen as a meeting point for a city, in order to enhance its importance and integration into the smart city of the future.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::20b0633d5a58a8234a827d9a69ee9514
https://publications.cnr.it/doc/415717
https://publications.cnr.it/doc/415717
Publikováno v:
ERCIM news (2017): 42–42.
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G. O./titolo:Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles/doi:/rivista:ERCIM news/anno:2017/pagina_da:42/pagina_a:42/intervallo_pagine:42–42/volume
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G. O./titolo:Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles/doi:/rivista:ERCIM news/anno:2017/pagina_da:42/pagina_a:42/intervallo_pagine:42–42/volume
Autonomous vehicles will become pervasive in the near future. The TRACE-IT project is investigating how gridlocks may be avoided.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::daa3cff5f77a502ca9175c3dd3ace183
http://www.cnr.it/prodotto/i/382482
http://www.cnr.it/prodotto/i/382482
Publikováno v:
Forum Méthodes Formelles-"Véhicules Autonomes et Méthodes Formelles", Toulouse FRANCE, 10/10/2017
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G.O./congresso_nome:Forum Méthodes Formelles-"Véhicules Autonomes et Méthodes Formelles"/congresso_luogo:Toulouse FRANCE/congresso_data:10%2F10%2F2017/anno:2017/pagina_da:/pagina_a:/intervallo_pagine
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G.O./congresso_nome:Forum Méthodes Formelles-"Véhicules Autonomes et Méthodes Formelles"/congresso_luogo:Toulouse FRANCE/congresso_data:10%2F10%2F2017/anno:2017/pagina_da:/pagina_a:/intervallo_pagine
Formalizzazione e verifica di un algorithmo di dispatching deadlock free.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1eb9d366d9d6723f987d5cb40b661a9a
https://publications.cnr.it/doc/408349
https://publications.cnr.it/doc/408349
Publikováno v:
joint REFSQ Workshops, Doctoral Symposium, Research Method Track, and Poster Track, 27/02/2017
info:cnr-pdr/source/autori:Ferrari A.; Spagnolo G. O.; Gnesi S./congresso_nome:joint REFSQ Workshops, Doctoral Symposium, Research Method Track, and Poster Track/congresso_luogo:/congresso_data:27%2F02%2F2017/anno:2017/pagina_da:/pagina_a:/intervallo_pagine
Scopus-Elsevier
info:cnr-pdr/source/autori:Ferrari A.; Spagnolo G. O.; Gnesi S./congresso_nome:joint REFSQ Workshops, Doctoral Symposium, Research Method Track, and Poster Track/congresso_luogo:/congresso_data:27%2F02%2F2017/anno:2017/pagina_da:/pagina_a:/intervallo_pagine
Scopus-Elsevier
[Context and motivation] The current breakthrough of natural language processing (NLP) techniques can provide the requirements engineering (RE) community with powerful tools that can help addressing specic tasks of natural language (NL) requirements
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00d66f95069f20879e138f57967f2d09
https://openportal.isti.cnr.it/doc?id=people______::a0f02eb4d0169f062955aff876c4cefb
https://openportal.isti.cnr.it/doc?id=people______::a0f02eb4d0169f062955aff876c4cefb
Publikováno v:
SOFTENG 2017-Third International Conference on Advances and Trends in Software Engineering, pp. 114–119, Venice, Italy, 23-27 April 2017
info:cnr-pdr/source/autori:Calabro A.; Marchetti E.; Spagnolo G.O.; Cempini P.; Mancini L.; Paoletti S./congresso_nome:SOFTENG 2017-Third International Conference on Advances and Trends in Software Engineering/congresso_luogo:Venice, Italy/congresso_data:23-27 April 2017/anno:2017/pagina_da:114/pagina_a:119/intervallo_pagine:114–119
info:cnr-pdr/source/autori:Calabro A.; Marchetti E.; Spagnolo G.O.; Cempini P.; Mancini L.; Paoletti S./congresso_nome:SOFTENG 2017-Third International Conference on Advances and Trends in Software Engineering/congresso_luogo:Venice, Italy/congresso_data:23-27 April 2017/anno:2017/pagina_da:114/pagina_a:119/intervallo_pagine:114–119
Recently, a lot of attention has been dedicated by the Public Administrations to reduce/optimize the costs of travel management. Indeed, automatic support may increase the quality of the proposed services, drastically decreasing the time required for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6c3291726278bd8810f074f3f76439e
https://publications.cnr.it/doc/386955
https://publications.cnr.it/doc/386955
Publikováno v:
ISTI Technical reports, 2017
Present the business process model of the certification of Registratori Telematici to italian fiscal market.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::89457cd06cea3f45ca535bc6cdf8b914
http://www.cnr.it/prodotto/i/368894
http://www.cnr.it/prodotto/i/368894
Publikováno v:
ERCIM news (2017): 56–57.
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G. O./titolo:The KandIStI%2FUMC Online Open-Access Verification Framework/doi:/rivista:ERCIM news/anno:2017/pagina_da:56/pagina_a:57/intervallo_pagine:56–57/volume
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G. O./titolo:The KandIStI%2FUMC Online Open-Access Verification Framework/doi:/rivista:ERCIM news/anno:2017/pagina_da:56/pagina_a:57/intervallo_pagine:56–57/volume
ISTI-CNR provides an online open-access environment for the experimentation of design, analysis and verification of UML-based system models. Great as a didactic environment, it can successfully compete in terms of friendliness and usability with the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5f0ecefa36893e24af16da801fc6adb4
https://openportal.isti.cnr.it/doc?id=people______::5f0ecefa36893e24af16da801fc6adb4
https://openportal.isti.cnr.it/doc?id=people______::5f0ecefa36893e24af16da801fc6adb4