Showing 41 - 60 results of 80 for search '"Smart contract', query time: 0.12s Refine Results
  1. 41
  2. 42

    Sensors for Gait, Posture, and Health Monitoring Volume 1

    Published 2020
    Subjects: “…force-varying muscle contraction…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  3. 43

    Sensors for Gait, Posture, and Health Monitoring Volume 2

    Published 2020
    Subjects: “…force-varying muscle contraction…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 44

    Sensors for Gait, Posture, and Health Monitoring Volume 3

    Published 2020
    Subjects: “…force-varying muscle contraction…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 45
  6. 46
  7. 47
  8. 48
  9. 49
  10. 50

    Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

    Published 2018
    Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
    Link to Metadata
    Electronic eBook
  11. 51
  12. 52
  13. 53

    Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers /

    Published 2022
    Table of Contents: “…Malware Analysis -- Robustness of Image-Based Malware Analysis -- Word Embeddings for Fake Malware Generation -- Twitter bots detection with Benford's Law and Machine Learning -- Blockchain and Smart Contracts -- A Blockchain-based Retribution Mechanism for Collaborative Intrusion Detection -- Smart Contracts in the Cloud -- A Blockchain-based Tamper-resistant Logging Framework -- Remote Device Assessment -- Impact of Location Spoofing Attacks on Performance Prediction in Mobile Networks -- Deep IoT Monitoring: Filtering IoT Traffic Using Deep Learning.…”
    Link to Metadata
    Electronic eBook
  14. 54
  15. 55

    Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

    Published 2017
    Table of Contents: “…Making Flow-Based Security Detection Parallel -- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts -- Achieving Reproducible Network Environments with INSALATA -- Towards a Software-Defined Security Framework for Supporting Distributed Cloud -- Optimal Service Function Chain Composition in Network Functions Virtualization -- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services -- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications -- Towards Internet Scale Quality-of-Experience Measurement with Twitter -- Hunting SIP Authentication Attacks Efficiently -- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks -- Flow-Based Detection of IPv6-specific Network Layer Attacks -- Towards a Hybrid Cloud Platform Using Apache Mesos -- Visual Analytics for Network Security and Critical Infrastructures -- Preserving Relations in Parallel Flow Data Processing -- SmartDEMAP: A Smart Contract Deployment and Management Platform -- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads -- Situational Awareness: Detecting Critical Dependencies and Devices in a Network -- A Framework for SFC Integrity in NFV Environments -- Multi-domain DDoS Mitigation based on Blockchains.…”
    Link to Metadata
    Electronic eBook
  16. 56

    Digitale Transformation und Unternehmensführung Trends und Perspektiven für die Praxis /

    Published 2020
    Table of Contents: “…Von der digitalen Transformation zur digitalen Unternehmensführung -- Digitale Transformation und Open Access von Forschungsresultaten in der Schweiz -- Plattformbasierte Dienstleistungen -- Gamification in Unternehmen -- Cybersicherheit als Führungsaufgabe in Schweizer KMU -- Ambidextrie - der organisationale Drahtseilakt -- Digitalisierung: Perspektiven für Arbeitsmodelle der Zukunft in Wirtschaft und Verwaltung -- Digitale Transformation und Human Resource Management -- Big Data Analytics -- Kryptowährungen -- Das Potential von Smart Contracts an einem Beispiel aus der Finanzbranche - Smart Rating -- Erfolgsfaktoren für die Kundengewinnung mit digitalem Marketing -- Augmented Reality als Entscheidungshilfe beim Möbelkauf -- Online Abonnement-Vermarktung -- Social Influencer.…”
    Link to Metadata
    Electronic eBook
  17. 57

    Digital Transformation of the Design, Construction and Management Processes of the Built Environment

    Published 2020
    Table of Contents: “…PART I: INTEROPERABLE MANAGEMENT OF THE PROCESS, National BIM digital platform for construction (INNOVance project) -- From cloud to BIM model of the built environment: the digitized process for competitive tender, project, construction and management -- The construction contract execution through the integration of Blockchain technology -- The BIMReL Project, the BIM interoperable library in the Lombardy Region -- Life cycle BIM-oriented data collection: a framework for supporting practitioners -- Decision-making BIM platform for chemical building products -- BIM electrical objects plug-in for industry 4.0 -- Da.Ma.Tra: Material Traceability Database -- Natural language processing for information and project management -- Structure of a general Exchange Information Requirements (EIR) for tenders according to the UNI 11337:2017 standard -- PART II: DESIGN STAGE, Clash detection and code checking BIM platform for the Italian market -- Digital tool for optimization -- Performance-based designapproach for tailored acoustic surfaces -- Do Smart City policies work? …”
    Link to Metadata
    Electronic eBook
  18. 58

    Blockchain and Crypto Currency Building a High Quality Marketplace for Crypto Data /

    Published 2020
    Table of Contents: “…Preface -- Chapter 1 Creation of Blockchain and a New Ecosystem -- Chapter 2 Market Quality Approach to IoT Data on Blockchain Big Data -- Chapter 3 Industrial Applications of Blockchain to IoT Data -- Chapter 4 Theory of Money: From Ancient Japanese Copper Coins to Virtual Currencies -- Chapter 5 Ethereum, Smart Contracts, DApps -- Chapter 6 DEX: A Dapp for the Decentralized Marketplace -- Chapter 7 Blockchain Business and its Regulation -- Chapter 8 Bitcoin and Blockchain Technology.-.…”
    Link to Metadata
    Electronic eBook
  19. 59

    Technologies and Applications for Big Data Value

    Published 2022
    Table of Contents: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
    Link to Metadata
    Electronic eBook
  20. 60