Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ambient Intelligence – Software and Applications –, 9th International Symposium on Ambient Intelligence / / edited by Paulo Novais, Jason J. Jung, Gabriel Villarrubia González, Antonio Fernández-Caballero, Elena Navarro, Pascual González, Davide Carneiro, António Pinto, Andrew T. Campbell, Dalila Durães
| Ambient Intelligence – Software and Applications –, 9th International Symposium on Ambient Intelligence / / edited by Paulo Novais, Jason J. Jung, Gabriel Villarrubia González, Antonio Fernández-Caballero, Elena Navarro, Pascual González, Davide Carneiro, António Pinto, Andrew T. Campbell, Dalila Durães |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (436 pages) |
| Disciplina | 004.019 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-01746-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483596503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchain and Applications : 3rd International Congress
| Blockchain and Applications : 3rd International Congress |
| Autore | Prieto Javier |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (383 pages) |
| Altri autori (Persone) |
PartidaAlberto
LeitãoPaulo PintoAntónio |
| Collana | Lecture Notes in Networks and Systems Ser. |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-030-86162-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- General chair -- Advisory Board -- Program Committee Chairs -- Organizing Committee -- Program Committee -- BLOCKCHAIN'21 Sponsors -- Contents -- BLOCKCHAIN-Main Track -- Formal Analysis of Smart Contracts: Model Impact Factor on Criminality -- 1 Introduction -- 1.1 Contributions -- 1.2 Organize -- 2 Background Study and Related Work -- 2.1 Smart Contracts Operational Mechanism -- 2.2 Smart Contracts Formal Model -- 2.3 Transaction Formal Model -- 3 Smart Contracts Sequential Execution Model -- 3.1 The Smart Contracts Sequential Programs -- 3.2 Smart Contracts Execution Model -- 3.3 Model and Vulnerable Smart Contracts Attack Vectors -- 3.4 Model and Criminal Smart Contracts -- 4 Proposition -- 5 Challenges -- 6 Conclusion -- References -- A Blockchain-Enabled Fog Computing Model for Peer-To-Peer Energy Trading in Smart Grid -- 1 Introduction -- 2 Background and Related Work -- 3 Conventional Energy Trading Model -- 4 Blockchain-Enabled Fog Computing Model (BFCM) -- 5 Blockchain-Based Smart Energy Trading (BSET) Algorithm -- 6 Results and Discussion -- 7 Conclusion -- References -- Energy Trading Between Prosumers Based on Blockchain Technology -- 1 Introduction -- 2 Related Work -- 2.1 Contribution Beyond the State of the Art -- 3 Peer to Peer Energy Trading and Business Model Approach -- 4 System Overview -- 4.1 Selection of the Blockchain Technology -- 4.2 Developed Smart Contract -- 5 P2P Network Case Study Validation -- 5.1 Case Study Description -- 5.2 Demonstration and Validation -- 6 Conclusions and Future Work -- References -- Protection Against Online Fraud Using Blockchain -- 1 Introduction -- 2 Related Work and Background -- 3 Architecture -- 3.1 Browser Plugin -- 3.2 CLI Tool and CI/CD -- 4 Implementation -- 4.1 Data Hashing and Storage -- 4.2 Smart Contract -- 5 Evaluation.
6 Conclusion and Future Work -- References -- Decentralized Online Multiplayer Game Based on Blockchains -- 1 Introduction -- 2 Related Work -- 3 Architecture -- 3.1 Game Flow -- 3.2 Components -- 4 Implementation -- 4.1 ReactApp -- 4.2 Waves -- 5 Evaluation -- 5.1 Cheat Safety -- 5.2 Privacy -- 5.3 Response Time Evaluation -- 6 Conclusion and Future Work -- References -- Parameter Identification for Malicious Transaction Detection in Blockchain Protocols -- 1 Introduction and Background -- 1.1 Related Work -- 2 Parameters -- 2.1 Volumetric Transaction Rate -- 2.2 Unique Addresses Activity -- 3 Application of Parameters to the Ethereum Platform -- 3.1 Volumetric Transaction Rate Analysis -- 3.2 Unique Address Activity Analysis -- 4 Conclusion -- References -- Blockchain Validity Register for Healthcare Environments -- 1 Introduction -- 2 Analysis of the Problem of Data Immutability -- 3 Proposed Solution -- 3.1 Signature Generation and Registration Process -- 3.2 Signature Verification Process -- 4 Discussion of the Results -- 5 Conclusions -- References -- Implementation and Evaluation of a Visual Programming Language in the Context of Blockchain -- 1 Introduction -- 2 Background -- 2.1 Smart Contract -- 2.2 Visual Programming -- 2.3 Flow-Based Programming -- 2.4 Waves Blockchain -- 3 Research Methodology -- 4 Implementation -- 4.1 Smart Contract Creator -- 4.2 Semantic Investigation of a Visual Smart Contract -- 4.3 Usability and Ease of Use Analysis According to TAM -- 5 Conclusion and Future Work -- References -- Implementation and Evaluation of a Visual Query Language in the Context of Blockchain -- 1 Introduction -- 2 Background -- 2.1 Visual Programming Language -- 2.2 Waves Platform -- 2.3 WavesBI Database Architecture -- 3 Research Questions -- 4 Research Methodology -- 5 Implementation -- 5.1 Visual Query Builder for SQL Query Creation. 6 Evaluation Results -- 6.1 Investigation of the Comprehensibility of a Visual Query -- 6.2 Usability and Ease of Use Analysis According to TAM -- 6.3 TAM Items and Cronbach's Alpha Analysis -- 7 Conclusion -- References -- On (Multi-stage) Proof-of-Works -- 1 Introduction -- 2 Multi-stage PoWs -- 3 Mining Probability in Single-Stage PoWs -- 4 Mining Probability in Multi-stage PoWs -- 4.1 Notation -- 4.2 The Hypoexponential Random Variable -- 4.3 Probability Density Function and Survival Function -- 4.4 A Closed-form Expression for the Mining Probability -- 5 Relation Between Hash Rate and Mining Probability -- 6 Conclusion -- References -- Towards Informational Self-determination: Data Portability Requests Based on GDPR by Providing Public Platforms for Authorised Minimal Invasive Privacy Protection -- 1 Introduction -- 2 Related Work -- 3 Privacy Enhanced Portability Process -- 4 Architecture and Prototype -- 5 Data Protection -- 6 Implications and Conclusion -- References -- Blockchain and the Riemann Zeta Function -- 1 Introduction -- 2 The Proof of Work -- 3 The Riemann Zeta Function (s) -- 4 Our Proposal -- 4.1 The PoW Scheme -- 4.2 The Register of a Transaction and the Verification -- 4.3 An Use Case -- 4.4 Systematizing -- 5 Conclusion and Future Work -- References -- Case Study: The Automation of an over the Counter Financial Derivatives Transaction Using the CORDA Blockchain -- 1 Introduction -- 2 Related Work -- 2.1 Analysis on the Spunta Project -- 3 Distributed Ledger Technology Design on CORDA -- 3.1 CorDapp Design Language -- 3.2 Armundia DSMATCH (CDS) and MARKIT (IRS) CorDapp Solution -- 4 Front Office Application -- 5 Conclusions -- References -- Application of Blockchain to Peer to Peer Energy Trading in Microgrids -- 1 Introduction -- 2 Problem Formulation -- 3 Proposed Trade Mechanism -- 4 Proposed Distributed Algorithm. 5 Blockchain Implementation -- 6 Simulations and Discussion -- 6.1 Test 1: Distributed Algorithm Using CT -- 6.2 Test 2: Distributed Algorithm Using HDT -- 6.3 Comparison -- 7 Conclusions -- References -- The Value and Applications of Blockchain Technology in Business: A Systematic Review of Real Use Cases -- 1 Introduction -- 2 Background and Related Work -- 3 Methodology -- 4 Business Value of Blockchain Technology -- 5 Blockchain Business Value Impact Analysis -- 6 Relational Model of Blockchain Provided Value -- 7 Conclusions and Future Work -- References -- A Preliminary Review on Complementary Applications of Databases and Blockchain Technology -- 1 Introduction -- 2 Background Concepts -- 2.1 Databases -- 2.2 Blockchain -- 3 Methodology -- 4 Analysis -- 4.1 Blockchain as Support to Database -- 4.2 Database as Support to Blockchain -- 4.3 New Hybrid System -- 5 Discussion and Conclusions -- References -- Blockchain Platform Selection for Security Token Offering (STO) Using Multi-criteria Decision Model -- 1 Introduction -- 2 Literature Review -- 2.1 Literature Review on Blockchain Platform Selection for Security Token Offering (STO) -- 2.2 Requirements from STO for Blockchain Platform Selection -- 3 Research Method -- 4 Discussion -- 4.1 Case Definition and Feature Prioritization -- 4.2 Decision-Making Simulation Result -- 5 Conclusion -- References -- Towards a Holistic DLT Architecture for IIoT: Improved DAG for Production Lines -- 1 Introduction -- 2 Related Work -- 3 Industry 4.0 Case Scenario -- 3.1 Machine Level -- 3.2 Production Line Level -- 3.3 Plant Level -- 3.4 Consortium Level -- 4 Proposed Multi-DLT Architecture -- 5 Data Source DLT Layer -- 5.1 Lightweight Devices Participation -- 5.2 Storage -- 5.3 Cryptography -- 5.4 Consensus -- 6 Conclusion and Future Work -- References. A Secure Blockchain-Based Solution for Management of Pandemic Data in Healthcare Systems -- 1 Introduction -- 2 Problem Statement -- 3 Overview -- 4 System Design and Architecture -- 4.1 System Components -- 4.2 Transaction Flow -- 4.3 Interface -- 4.4 Risk Assessment -- 5 Potential Extension -- 6 Limitations -- 7 Conclusion -- References -- Investigation on Vulnerabilities Location in Solidity Smart Contracts -- 1 Introduction -- 2 Taxonomy and Static Analyzers -- 2.1 Taxonomy -- 2.2 Static Analyzers -- 3 Experimental Settings and Methodology -- 4 Analysis -- 4.1 Pilot Set Analysis and Datasets Comparison -- 4.2 Location of Vulnerabilities -- 5 Discussion and Limitations -- 6 Related Works -- 7 Conclusion -- References -- Benchmarking Constrained IoT Devices in Blockchain-Based Agri-Food Traceability Applications -- 1 Introduction -- 1.1 Related Work -- 2 Case Study: Traceability of Extra Virgin Olive Oil -- 2.1 High-Level Architecture -- 2.2 Implementation -- 3 Evaluation -- 3.1 Experimental Setup -- 3.2 Device Module Footprint -- 3.3 Processing Times and Transactions Size -- 3.4 Device Module Power Consumption -- 3.5 Daily Energy Budget -- 4 Discussion and Future Works -- References -- Towards Micropayment for Intermediary Based Trading -- 1 Introduction -- 2 Background and Related Works -- 2.1 Smart Contracts -- 2.2 Micropayments -- 3 MARI Payment Protocol -- 3.1 Layered Multi Lock Contract (LMLC) -- 3.2 Design -- 3.3 Application -- 4 Analysis -- 5 Evaluation -- 6 Conclusion -- References -- BlockFLow: Decentralized, Privacy-Preserving, and Accountable Federated Machine Learning -- 1 Introduction -- 2 Related Work -- 3 System Design -- 3.1 Client -- 3.2 InterPlanetary File System (IPFS) -- 3.3 BlockFLow Smart Contract -- 4 Threat Analysis -- 5 Evaluation -- 6 Future Work and Conclusion -- References. COVID-19 Early Symptom Prediction Using Blockchain and Machine Learning. |
| Record Nr. | UNINA-9910497099803321 |
Prieto Javier
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchain and Applications : 2nd International Congress / / edited by Javier Prieto, António Pinto, Ashok Kumar Das, Stefano Ferretti
| Blockchain and Applications : 2nd International Congress / / edited by Javier Prieto, António Pinto, Ashok Kumar Das, Stefano Ferretti |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 005.74 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Engineering—Data processing
Computational intelligence Artificial intelligence Data Engineering Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-52535-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483067803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchain and Applications : International Congress / / edited by Javier Prieto, Ashok Kumar Das, Stefano Ferretti, António Pinto, Juan Manuel Corchado
| Blockchain and Applications : International Congress / / edited by Javier Prieto, Ashok Kumar Das, Stefano Ferretti, António Pinto, Juan Manuel Corchado |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 180 p. 97 illus., 40 illus. in color.) |
| Disciplina |
620.00285
005.758 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Engineering—Data processing
Computational intelligence Artificial intelligence Data Engineering Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-23813-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | IMBUA: Identity Management on Blockchain for Biometrics-based User Authentication -- Lightning Network: A Comparative Review of Transaction Fees and Data Analysis -- Do Smart Contract Languages Need to be Turing Complete -- Towards Integration of Blockchain and IoT: A Bibliometric Analysis of State-of-the-Art -- Smart Contracts are more than Objects: Pro-activeness on the Blockchain -- Blockchain Based Informed Consent With Reputation Support -- Privacy Centric Collaborative Machine Learning Model Training via Blockchain -- A balanced routing algorithm for blockchain offline channels using flocking . |
| Record Nr. | UNINA-9910484591203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||