Essays about: "Contracts information system"

Showing result 6 - 10 of 46 essays containing the words Contracts information system.

  1. 6. Decentralized Finance : Implications on Commercial Real Estate Market

    University essay from KTH/Fastighetsföretagande och finansiella system

    Author : Kevin Jacob; Rakshith Rathnakar Shetty; [2022]
    Keywords : Decentralized Finance; Centralized Finance; Blockchain; Commercial Real Estate; Tokenization; Smart Contracts; Decentralized Exchange; Decentraliserad finans; centraliserad finans; blockkedja; kommersiell Fastigheter; tokenisering; smarta kontrakt; decentraliserat utbyte;

    Abstract : The Commercial Real Estate (CRE) market has a substantial impact on financial stability, making it one of the global sectors with a strong relationship to economic growth. Because of its stability, CRE remains a viable investment even when market cycles shift for various reasons. READ MORE

  3. 7. A case study on the integration of excess heat from Data Centres in the Stockholm district heating system

    University essay from KTH/Kraft- och värmeteknologi

    Author : Arianna Tofani; [2022]
    Keywords : heat recovery; district heating; circular economy; data centres; excess heat; värmeåtervinning; fjärrvärme; cirkulär ekonomi; datacenter; överskottsvärme;

    Abstract : The data centre industry is becoming more and more important due to the rapid increase of digitalisation in our society. However, data centres are large electricity consumers since electricity is needed for both the Information Technology (IT) equipment and the cooling systems, as a certain temperature must be maintained in the server rooms in order to guarantee service operations. READ MORE

  4. 8. Smart contracts for secure vehicular sharing­access systems using blockchain technologies

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Zhangchi Qin; [2022]
    Keywords : Blockchain; Vehicular Sharing; Booking and Payment; Layer­2 Technology; Smart Contract; Blockchain; Fordonsdelning; Bokning och betalning; Layer­2 Technology; Smart Contract;

    Abstract : Ongoing research suggests decentralized solutions based on blockchain for vehicle sharing scenario, to solve the fairness and privacy violation issues in centralized platforms. Users can transfer funds and execute decentralized applications, called smart contracts, in these blockchain­based platforms. READ MORE

  5. 9. Synthesis of Annotations for Partially Automated Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Daniel Skantz; [2021]
    Keywords : ;

    Abstract : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. READ MORE

  6. 10. Reducing Delays for Unplanned Maintenance of Service Parts in MRO Workshops : A case study at an aerospace and defence company

    University essay from Linköpings universitet/Produktionsekonomi

    Author : Mattias Jenvald; Mikael Hovmöller; [2020]
    Keywords : Maintenance; Repair; Overhaul; MRO; Service; Saab; Service Part; Supply Chain; Data; Information; Utilization; Information Logistics; Information System; Strategy; Optimization; Traceability;

    Abstract : Service parts sometimes break down unexpectedly and require maintenance. The irregular nature of the need for this type of maintenance makes forecasting difficult and unreliable. READ MORE