1,345 research outputs found

    Smart Contracts using Blockchain

    Get PDF
    The contract is the sovereign tool employed to manage agreements between entities in today’s society. It plays a crucial role in a variety of different fields, ranging from politics to finance. This fact implies the efficiency of these applications is determined in part by the efficiency of the contracts they rely on. Despite their important role, contracts have changed relatively little in the last few centuries and remain based on an outdated technology of bureaucracy and procedures done by hand. Such systems are full of unnecessary complications, are incredibly wasteful in terms of time, money and resources, and are susceptible to human failure. In the last few years, a type of contract represented by a computer program has appeared. This concept, known as a smart contract, is based on the emerging blockchain technology. Blockchain is a type of distributed system which assures the immutability of data via the use of mathematically secure cryptographic techniques and that, as will be discussed, is well-suited for the implementation of smart contract systems. Transitioning contracts into the digital era would not only allow them to catch up to the technological pace of society but also would be advantageous from a safety and efficiency standpoint. This body of work will test the feasibility of using blockchain-based smart contracts to facilitate the first steps of this evolution. This thesis assembles a proof of concept platform that supports the specification and execution of smart contracts on a blockchain network. This proof of concept will in particular target the use case of opening a bank account, aiming to create an efficient, permanent, reliable and safe process. To achieve this, we constructed a Hyperledger Fabric network. We present herein the system developed and discuss the nuances pertaining to deploying a codebase on a blockchain, the evaluation of our system, and finally some visions for further development of this and related use cases

    Strategic Roadmaps and Implementation Actions for ICT in Construction

    Get PDF

    Principles of Security and Trust

    Get PDF
    This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

    Get PDF
    The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

    Dynamic Resource Management in Virtualized Data Centres

    Get PDF
    In the last decade, Cloud Computing has become a disruptive force in the computing landscape, changing the way in which software is designed, deployed and used over the world. Its adoption has been substantial and it is only expected to continue growing. The growth of this new model is supported by the proliferation of large-scale data centres, built for the express purpose of hosting cloud workloads. These data centres rely on systems virtualization to host multiple workloads per physical server, thus increasing their infrastructures\u27 utilization and decreasing their power consumption. However, the owners of the cloud workloads expect their applications\u27 demand to be satisfied at all times, and placing too many workloads in one physical server can risk meeting those service expectations. These and other management goals make the task of managing a cloud-supporting data centre a complex challenge, but one that needs to be addressed. In this work, we address a few of the management challenges associated with dynamic resource management in virtualized data centres. We investigate the application of First Fit heuristics to the Virtual Machine Relocation problem (that is, the problem of migrating VMs away from stressed or overloaded hosts) and the effect that different heuristics have, as reflected in the performance metrics of the data centre. We also investigate how to pursue multiple goals in data centre management and propose a method to achieve precisely that by dynamically switching management strategies at runtime according to data centre state. In order to improve system scalability and decrease network management overhead, we propose architecting the management system as a topology-aware hierarchy of managing elements, which limits the flow of management data across the data centre. Finally, we address the challenge of managing multi-VM applications with placement constraints in data centres, while still trying to achieve high levels of resource utilization and client satisfaction

    Third CLIPS Conference Proceedings, volume 1

    Get PDF
    Expert systems are computed programs which emulate human expertise in well defined problem domains. The potential payoff from expert systems is high: valuable expertise can be captured and preserved, repetitive and/or mundane tasks requiring human expertise can be automated, and uniformity can be applied in decision making processes. The C Language Integrated Production Systems (CLIPS) is an expert system building tool, developed at the Johnson Space Center, which provides a complete environment for the development and delivery of rule and/or object based expert systems. CLIPS was specifically designed to provide a low cost option for developing and deploying expert system applications across a wide range of hardware platforms. The development of CLIPS has helped to improve the ability to deliver expert systems technology throughout the public and private sectors for a wide range of applications and diverse computing environments

    Density And Strength Of Ties In Innovation Networks: A Competence And Governance View

    Get PDF
    This article studies density and strength of ties in innovation networks. It combines issues of ‘competence’ with issues of ‘governance’. It argues that in networks for exploration there are good reasons, counter to the thesis of the ‘strength of weak ties’, for a dense structure of ties that are strong in most dimensions. In exploitation, there are good reasons for structures that are non-dense, with ties that are strong in other dimensions than in networks for exploration. Evidence is presented from two longitudinal empirical studies of the emergence and development of networks in the multimedia and pharmaceutical biotechnology industries.governance;innovation;networks;biotechnology;multi-media;strength of ties

    The 14th Overture Workshop: Towards Analytical Tool Chains

    Get PDF
    This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk

    A generic framework for process execution and secure multi-party transaction authorization

    Get PDF
    Process execution engines are not only an integral part of workflow and business process management systems but are increasingly used to build process-driven applications. In other words, they are potentially used in all kinds of software across all application domains. However, contemporary process engines and workflow systems are unsuitable for use in such diverse application scenarios for several reasons. The main shortcomings can be observed in the areas of interoperability, versatility, and programmability. Therefore, this thesis makes a step away from domain specific, monolithic workflow engines towards generic and versatile process runtime frameworks, which enable integration of process technology into all kinds of software. To achieve this, the idea and corresponding architecture of a generic and embeddable process virtual machine (ePVM), which supports defining process flows along the theoretical foundation of communicating extended finite state machines, are presented. The architecture focuses on the core process functionality such as control flow and state management, monitoring, persistence, and communication, while using JavaScript as a process definition language. This approach leads to a very generic yet easily programmable process framework. A fully functional prototype implementation of the proposed framework is provided along with multiple example applications. Despite the fact that business processes are increasingly automated and controlled by information systems, humans are still involved, directly or indirectly, in many of them. Thus, for process flows involving sensitive transactions, a highly secure authorization scheme supporting asynchronous multi-party transaction authorization must be available within process management systems. Therefore, along with the ePVM framework, this thesis presents a novel approach for secure remote multi-party transaction authentication - the zone trusted information channel (ZTIC). The ZTIC approach uniquely combines multiple desirable properties such as the highest level of security, ease-of-use, mobility, remote administration, and smooth integration with existing infrastructures into one device and method. Extensively evaluating both, the ePVM framework and the ZTIC, this thesis shows that ePVM in combination with the ZTIC approach represents a unique and very powerful framework for building workflow systems and process-driven applications including support for secure multi-party transaction authorization
    • …
    corecore