Essays about: "formalisering"
Showing result 1 - 5 of 13 essays containing the word formalisering.
-
1. An Arrow Metalanguage for Partially Invertible Computation
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. READ MORE
-
2. Tracking of value and realization of digital transformation: A maturity assessment model
University essay from KTH/Skolan för industriell teknik och management (ITM)Abstract : Since today’s fast-paced landscapes evolves into digital environments, businesses are faced by the need of performing digital transformation, as it will support them in staying competitive. However, when executing digital transformation, it becomes important to prioritize the right initiatives to ensure efficient budget allocation, as well as to track progress and value realization to assess real impact and to secure efficient realization. READ MORE
-
3. How to organize companies to prepare for growth while maintaining the ability to be innovative
University essay from KTH/Skolan för industriell teknik och management (ITM)Abstract : It is important for organizations to enforce corporate entrepreneurship in order to enable innovation and growth which can lead to more job opportunities and economic growth. Enforcing corporate entrepreneurship during growth is difficult and much of the current research contradicts each other by saying that growth is handled by formalizing and structuring while corporate entrepreneurship is enforced by having a simple and loose organization. READ MORE
-
4. Formalise Defense Strategies in Design Patterns of Threat Models
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Cyber-attacks are an increasing problem for organizations across the world. The attacks on systems are getting more and more sophisticated and thereby more and more difficult to protect against. The security of systems is crucial to protect your data from unauthorized access. READ MORE
-
5. Containment Strategy Formalism in a Probabilistic Threat Modelling Framework
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Background - Foreseeing, mitigating and preventing cyber-attacks is more important than ever before. Advances in the field of probabilistic threat modelling can help organisations understand their own resilience profile against cyber-attacks. READ MORE