Essays about: "Software Contracts"
Showing result 1 - 5 of 36 essays containing the words Software Contracts.
-
1. A Techno_Economic Feasibility Study of a Cryptocurrency Data Center Based on Renewable Energy : A feasibility Study of a Bitcoin Mining Farm Powered by Solar and Wind Energy.
University essay from Uppsala universitet/Institutionen för samhällsbyggnad och industriell teknikAbstract : The increasing popularity and improvements in the blockchain technology that offers decentralized communication and transactions in the form of cryptocurrencies that have now days a market value of almost 1.3 Trillion dollars and a huge potential to contribute to other fields such as health care, financial transactions, information technology, secure data exchange, data storage and many others has been pushing towards more integrating of renewable energies in this field. READ MORE
-
2. Innovation in Defense : characteristics of high-performing defense startups
University essay from Uppsala universitet/Företagsekonomiska institutionenAbstract : Recently several European countries have announced massive increases in their military budgets. Innovation initiatives organized by NATO and the European Defence Fund will also be conducted over the coming decade. READ MORE
-
3. Understanding the software engineering challenges in blockchain technology: A systematic literature review
University essay from Uppsala universitet/Institutionen för informatik och mediaAbstract : Blockchain technology has gained significant interest during the previous years and, to some extent, is accredited as a universal solution to enabling online transactions between unknown parties without the need for a central authority. However, as we have yet to see widespread blockchain adoption in government or industrial settings, the question arises: What are the technical challenges hindering blockchain adoption? To this end, a systematic literature review is conducted on 29 academic papers researching software engineering challenges in blockchaintechnology. READ MORE
-
4. End-to-End Software License Management
University essay from Mälardalens universitet/Akademin för innovation, design och teknikAbstract : As the software is constantly evolving, licensing choices in complex business environments are becoming more and more sophisticated, since licenses are used to govern software costs, access, and responsibilities. With the right licensing model in place and efficiently utilized licensing flow, organizations are able to ensure that the software is being used according to the licensing agreement which can strongly influence the return on software investment. READ MORE
-
5. Contract-Based Verification in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. READ MORE