Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
ISBN | 3-031-13185-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910586580203321 |
Shoham Sharon
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot |
Autore | Krimmer Robert |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
Descrizione fisica | 1 online resource (x, 241 pages) : illustrations (some color) |
Altri autori (Persone) |
KrimmerRobert
PrentzaAndriana MamrotSzymon |
Collana | Lecture notes in computer science |
Soggetto topico |
Government information - Law and legislation
Internet in public administration |
Soggetto non controllato |
Computer Applications
Special Purpose and Application-Based Systems Programming Techniques Software Engineering/Programming and Operating Systems Computer Application in Administrative Data Processing Computer and Information Systems Applications Software Engineering access control communication systems computer systems cryptography databases Field Programmable Gate Array (FPGA) gateways (computer networks) information systems internet protocols network protocols object-oriented design object-oriented programming object-oriented programming languages signal processing social networks software architecture software design system architectures Information technology: general issues Expert systems / knowledge-based systems Computer programming / software engineering Operating systems |
ISBN | 3-030-79851-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Once-Only Principle: A Matter of Trust Implementation of the 'once-only' principle in Europe national approaches Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Princi pleOnce-Only Principle Good Practices in Europ eThe Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in EuropeLegal Basis and Regulatory Applications of the Once-Only Principle: the Italian CaseTOOP Trust ArchitectureThe Technical challenges in OOP application across the European Union and the TOOP OOP architectureTesting methodology for the TOOP pilotsTOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member StatesMeasuring the Impact of the Once Only Principle for Businesses Across BordersThe Future of the Once-Only Principle in Europe |
Record Nr. | UNINA-9910488704303321 |
Krimmer Robert
![]() |
||
Cham, : Springer International Publishing AG, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot |
Autore | Krimmer Robert |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
Descrizione fisica | 1 online resource (x, 241 pages) : illustrations (some color) |
Altri autori (Persone) |
KrimmerRobert
PrentzaAndriana MamrotSzymon |
Collana | Lecture notes in computer science |
Soggetto topico |
Government information - Law and legislation
Internet in public administration |
Soggetto non controllato |
Computer Applications
Special Purpose and Application-Based Systems Programming Techniques Software Engineering/Programming and Operating Systems Computer Application in Administrative Data Processing Computer and Information Systems Applications Software Engineering access control communication systems computer systems cryptography databases Field Programmable Gate Array (FPGA) gateways (computer networks) information systems internet protocols network protocols object-oriented design object-oriented programming object-oriented programming languages signal processing social networks software architecture software design system architectures Information technology: general issues Expert systems / knowledge-based systems Computer programming / software engineering Operating systems |
ISBN | 3-030-79851-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Once-Only Principle: A Matter of Trust Implementation of the 'once-only' principle in Europe national approaches Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Princi pleOnce-Only Principle Good Practices in Europ eThe Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in EuropeLegal Basis and Regulatory Applications of the Once-Only Principle: the Italian CaseTOOP Trust ArchitectureThe Technical challenges in OOP application across the European Union and the TOOP OOP architectureTesting methodology for the TOOP pilotsTOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member StatesMeasuring the Impact of the Once Only Principle for Businesses Across BordersThe Future of the Once-Only Principle in Europe |
Record Nr. | UNISA-996464432203316 |
Krimmer Robert
![]() |
||
Cham, : Springer International Publishing AG, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings |
Autore | Aloulou Hamdi |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (317 pages) |
Altri autori (Persone) |
AbdulrazakBessam
de Marassé-EnoufAntoine MokhtariMounir |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Network hardware
Software Engineering Information retrieval User interface design & usability Computer vision Information technology: general issues |
Soggetto non controllato |
architecture types
artificial intelligence communication systems computer hardware computer networks computer science computer systems engineering Human-Computer Interaction (HCI) internet Internet of Things (IoT) network protocols sensors signal processing software architecture software design software engineering telecommunication systems ubiquitous computing user interfaces |
ISBN | 3-031-09593-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910580293903321 |
Aloulou Hamdi
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings |
Autore | Aloulou Hamdi |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (317 pages) |
Altri autori (Persone) |
AbdulrazakBessam
de Marassé-EnoufAntoine MokhtariMounir |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Network hardware
Software Engineering Information retrieval User interface design & usability Computer vision Information technology: general issues |
Soggetto non controllato |
architecture types
artificial intelligence communication systems computer hardware computer networks computer science computer systems engineering Human-Computer Interaction (HCI) internet Internet of Things (IoT) network protocols sensors signal processing software architecture software design software engineering telecommunication systems ubiquitous computing user interfaces |
ISBN | 3-031-09593-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996478861503316 |
Aloulou Hamdi
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
Autore | Sergey Ilya |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
Altri autori (Persone) | SergeyIlya |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
ISBN | 3-030-99336-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555236003321 |
Sergey Ilya
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
Autore | Sergey Ilya |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
Altri autori (Persone) | SergeyIlya |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
ISBN | 3-030-99336-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464540903316 |
Sergey Ilya
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Security in computer and information sciences : second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, revised selected papers / / editors, Erol Gelenbe [et al.] |
Autore | Gelenbe Erol <1945-> |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (145 pages) |
Altri autori (Persone) |
JankovicMarija
KehagiasDionysios MartonAnna VilmosAndras |
Collana | Communications in computer and information science |
Soggetto topico |
Computer networks - Security measures
Computer security |
Soggetto non controllato |
architecture types
artificial intelligence communication systems computer crime computer hardware computer networks computer security computer systems cryptography data security Internet of Things (IoT) network protocols network security signal processing software architecture software design software engineering telecommunication networks telecommunication systems |
ISBN | 3-031-09357-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI and Quality of Service Driven Attack Detection, Mitigation and Energy Optimization: A Review of Some EU Project Results Application of a Human-Centric Approach in Security by Design for IoT Architecture Development An Empirical Evaluation of the Usefulness of Word Embedding Techniques in Deep Learning-based Vulnerability Prediction Correlation-based Anomaly Detection for the CAN Bus Botnet Attack Detection with Incremental Online Learning Optimizing Energy Usage for an Electric Drone T-RAID: TEE-based Remote Attestation for IoT Devices Secure Authentication for everyone! Enabling 2nd-factor Authentication under Real-world constraints Energy, QoS and Security Aware Services at the Edge Mitigating the Massive Access Problem in the IoT |
Record Nr. | UNISA-996478861203316 |
Gelenbe Erol <1945->
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Security in computer and information sciences : second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, revised selected papers / / editors, Erol Gelenbe [et al.] |
Autore | Gelenbe Erol <1945-> |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (145 pages) |
Altri autori (Persone) |
JankovicMarija
KehagiasDionysios MartonAnna VilmosAndras |
Collana | Communications in computer and information science |
Soggetto topico |
Computer networks - Security measures
Computer security |
Soggetto non controllato |
architecture types
artificial intelligence communication systems computer crime computer hardware computer networks computer security computer systems cryptography data security Internet of Things (IoT) network protocols network security signal processing software architecture software design software engineering telecommunication networks telecommunication systems |
ISBN | 3-031-09357-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI and Quality of Service Driven Attack Detection, Mitigation and Energy Optimization: A Review of Some EU Project Results Application of a Human-Centric Approach in Security by Design for IoT Architecture Development An Empirical Evaluation of the Usefulness of Word Embedding Techniques in Deep Learning-based Vulnerability Prediction Correlation-based Anomaly Detection for the CAN Bus Botnet Attack Detection with Incremental Online Learning Optimizing Energy Usage for an Electric Drone T-RAID: TEE-based Remote Attestation for IoT Devices Secure Authentication for everyone! Enabling 2nd-factor Authentication under Real-world constraints Energy, QoS and Security Aware Services at the Edge Mitigating the Massive Access Problem in the IoT |
Record Nr. | UNINA-9910580293203321 |
Gelenbe Erol <1945->
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|