Results 11 to 20 of about 73,148 (239)
Electronic Proceedings in Theoretical Computer Science, 2011 We present a version of the HOL Light system that supports undoing definitions in such a way that this does not compromise the soundness of the logic. In our system the code that keeps track of the constants that have been defined thus far has been moved
Freek Wiedijk
doaj +9 more sources
Manufacturing Statelessness [PDF]
American Journal of International Law, 2022 AbstractHaving recently emerged from its unenviable status as the runt of international law, the phenomenon of statelessness nonetheless eludes traditional international legal instruments. Confronted with questions of nationality that typically fall within the domain of sovereignty, international and regional human rights bodies struggle to rein in the
openaire +2 more sources
A stateless opportunistic routing protocol for underwater sensor networks [PDF]
, 2018 Routing packets in Underwater Sensor Networks (UWSNs) face different challenges, the most notable of which is perhaps how to deal with void communication areas.
Boutaleb, Tuleen +2 more
core +1 more source
Stateful to Stateless: Modelling Stateless Ethereum
Electronic Proceedings in Theoretical Computer Science, 2022 The concept of 'Stateless Ethereum' was conceived with the primary aim of mitigating Ethereum's unbounded state growth. The key facilitator of Stateless Ethereum is through the introduction of 'witnesses' into the ecosystem. The changes and potential consequences that these additional data packets pose on the network need to be identified and analysed ...
Johnson, Sandra +3 more
openaire +3 more sources
First-Come-First-Served for Online Slot Allocation and Huffman Coding [PDF]
, 2013 Can one choose a good Huffman code on the fly, without knowing the underlying distribution? Online Slot Allocation (OSA) models this and similar problems: There are n slots, each with a known cost. There are n items.
Khare, Monik +2 more
core +2 more sources
Distributed Maximum Matching in Bounded Degree Graphs [PDF]
, 2014 We present deterministic distributed algorithms for computing approximate maximum cardinality matchings and approximate maximum weight matchings. Our algorithm for the unweighted case computes a matching whose size is at least $(1-\eps)$ times the ...
Even, Guy, Medina, Moti, Ron, Dana
core +1 more source
On the Protection of Stateless Persons in Germany
Tilburg Law Review, 2014 This article analyses the legal framework for the protection of stateless persons in Germany. In particular, it explains the definition of a stateless person under German law, the availability of protection outside the context of asylum procedures ...
Katia Bianchini
doaj +1 more source
Statelessness, Trauma and Mental Wellbeing: Implications for Practice, Research, and Advocacy
African Human Mobility Review, 2023 In 2016, the UNHCR estimated that about 10 million people, globally, were stateless. The issue of statelessness is inextricably linked to the psychosocial wellness and is a crucial mental health factor to consider in the holistic care, protection of ...
Ajwang' Warria, Victor Chikadzi
doaj +1 more source
Denial-of-Service Resistance in Key Establishment [PDF]
, 2007 Denial of Service (DoS) attacks are an increasing problem for network connected systems. Key establishment protocols are applications that are particularly vulnerable to DoS attack as they are typically required to perform computationally expensive ...
Boyd, Colin +4 more
core +2 more sources
Statelessness and Conservation: Exploring the Implications of an International Governance Agenda
Tilburg Law Review, 2014 The world’s remaining biodiversity-rich regions are often located in borderlands or physically remote areas which are frequently also inhabited by stateless peoples, who are then subjected to policies expressly designed to exclude or restrict local ...
Julian Clifton +5 more
doaj +1 more source