Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 38 for “"Immutability"”.
-
Javari : adding reference immutability to Java
… that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refers cannot be modified using that reference. The abstract state is (part of) the transitively reachable state: …
-
Compiler-enforced immutability for the Java language
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
-
Javarifier : inference of reference immutability in Java
… is an extension of Java that supports reference immutability constraints. Programmers write Javari type qualifiers, such as the readonly type qualifier, in their programs, and the Javari typechecker detects mutation errors (incorrect side effects) or verifies their absence. While case studies …
-
Harpocrates: Privacy-Preserving and Immutable Audit Log for Sensitive Data Operations
The immutability, validity and confidentiality of an audit log is crucial when operating over sensitive data to comply to standard data regulations (e.g., HIPAA). Despite its critical needs, state-of-the-art privacy-preserving audit log schemes (e.g., Ghostor (NSDI '20), Calypso (VLDB '19)) do not …
-
A critical analysis of Swaziland's Companies Bill of 2004
… it ascribes to its own provisions the quality of immutability' '... Company law is in need of constant revision and can never reach a stage of 'finality' It is as a result imperative that the company laws of a country undergo reform consistent with its changing economic, social and technological …
-
Compiling methods for the Fresh Breeze processor
… and a global address space. Due to this memory immutability, new designs are needed before code generation can be developed for the Fresh Breeze compiler. This paper outlines designs for arrays and the method calling protocol. These designs are analyzed with respect to running times, possible …
-
Configurable Online Multi-Tiered Storage in a Database Management System
… in the past due to two key constraints: the immutability of its columns and its lack of atomicity for sub-partition level operations. Without atomicity, there are no mechanisms in place that guarantee that a tenant’s data within a partition is moved or deleted completely, which can cause …
-
Essentializing Race: Its Implication to Social Categorization and Racial Perception
… components of essentialized group perceptions---immutability and inductive potential. It then investigated how the two essentialism factors interplayed with the social contexts to shape intergroup perceptions.
-
An Architecture for Blockchain-based Collaborative Signature-based Intrusion Detection System
… The blockchain technology with built-in immutability and consensus building capability provides a viable solution to the issues of CIDS. In this paper, we introduce an architecture for a blockchain-enabled signature-based collaborative IDS, discuss the implementation strategy of the …
-
Transaction Log on WORM Architecture with Built-in Audit Helper
… compliance solution that supports long-term immutability for relational tuples. Given that majority of enterprise information systems are supported by RDBMS, TLOW allows for smooth transition to the compliant system minimizing the cost and user resistance in its adoption. This thesis aims to …
-
Assessing Blockchain’s Potential to Ensure Data Integrity and Security for AI and Machine Learning Applications
… unprecedented level of data confidentiality and immutability. This study examines the mutually beneficial connection between Blockchain technology and ML/AI, using Blockchain's inherent capacity to protect against unauthorized alterations of data during the training phase of ML models. The method …
-
Enabling Rich Lightweight Verification of Rust Software
… a core proof of the program, which encodes the immutability and aliasing guarantees of Rust types. This proof is expressed in the implicit dynamic frames logic, but our technique hides this as an implementation detail, effectively shielding the verification users from the complex details of the …
-
The Boston Federal Courthouse : institutional places and the national face
… bolsters inaccurate notions of permanence and immutability, with the use of closed monolithic forms and reference to simplified, yet glorified historical styles. In a democracy, institutional places must be designed to acknowledge that they are situated in a realm of indeterminacy and …
-
‘Rise Up Dead Man and Fight Again’: Reviving and Defining Mumming in County Fermanagh
… practices are viewed as possessing longevity and immutability both time and context act to change and define them. mumming exists on the margins of Irish cultural activity. There are no academic departments established to study it, no dedicated archives to store its history, nor are there rules or …
-
The Impact of Open Theism on C. Peter Wagner's Philosophy of Discipleship
… foreknowledge and omnipotence while denying his immutability. Moreover, an underlying consequentialist ethic drove Wagner’s understanding and praxes of the Great Commission. Wagner’s telos sought to create disciples by any means necessary so that God could instill his will upon the earth. This …
-
The Impact of Open Theism on C. Peter Wagner's Philosophy of Discipleship
… foreknowledge and omnipotence while denying his immutability. Moreover, an underlying consequentialist ethic drove Wagner’s understanding and praxes of the Great Commission. Wagner’s telos sought to create disciples by any means necessary so that God could instill his will upon the earth. This …
-
An evangelical discourse on God�s response to suffering: A critical assessment of Gregory Boyd�s open theism
… the attributes of God namely: God�s omniscience, immutability, and omnipotence to give an answer to the theodicy problem. Evangelicals understand the attributes of God to be part of God nature, therefore any changes in the attributes of God means changes to God him/herself. Because of Boyd�s claim …
-
Blockchain technology for agriculture traceability systems in South Africa
… solution for food traceability, offering immutability, transparency, and decentralised control. The study acknowledges the challenges associated with blockchain adoption, including issues related to data governance, interoperability, regulatory frameworks, implementation costs, and the …
-
Timelessly Present, Compassionately Impassible: A Defense of Two Classical Divine Attributes
… Aquinas’s affirmation of both God’s strong immutability and the non-necessity of creation, while questioning whether he affirms these in a logically consistent way. Chapter Three then follows the contours of Calvin’s Trinitarianism and Christology, reflecting on the Triune Creator’s gracious …
Page 1 of 2