Results 51 to 60 of about 82,276 (357)

Optimal stateless model checking under the release-acquire semantics [PDF]

Proc. ACM Program. Lang., 2018
We present a framework for the efficient application of stateless model checking (SMC) to concurrent programs running under the Release-Acquire (RA) fragment of the C/C++11 memory model.
P. Abdulla, M. Atig, B. Jonsson, Ngo Tuan Phong   +3 more
semanticscholar   +1 more source

Homelessness Service Usage Patterns of 30,000 Homeless and At‐Risk Households: The Melbourne Access Point Study

Australian Journal of Social Issues, EarlyView.
ABSTRACT Over the last three decades, overseas researchers have utilised administrative data to identify distinct patterns in shelter use. In Australia, the use of administrative data to understand service utilisation patterns among people ‘at risk’ of homelessness and experiencing homelessness is limited.
Godwin Kavaarpuo, Kathryn Daley, Guy Johnson   +2 more
wiley   +1 more source

Stripped of Rights: The Battle for Justice and Legal Certainty for Stateless Persons in Indonesia

Indonesian Journal of Advocacy and Legal Services
This research critically examines the justice system and legal certainty pertaining to stateless persons in Indonesia. Stateless individuals in Indonesia frequently encounter systemic discrimination and endure hardships due to inadequate legal ...
Muhammad Muhammad
doaj   +1 more source

Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers

Network and Distributed System Security Symposium, 2019
In this work we investigate new computational properties that can be achieved by combining stateless trusted devices with public ledgers. We consider a hybrid paradigm in which a client-side device (such as a co-processor or trusted enclave) performs ...
Gabriel Kaptchuk, M. Green, Ian Miers
semanticscholar   +1 more source

Stateless Cloud Auditing Scheme for Non-Manager Dynamic Group Data With Privacy Preservation

IEEE Access, 2020
As one of the core services of cloud computing, cloud storage could satisfy various storage and management requirements caused by the growth of data. Considering the complexity and uncontrollability of the cloud storage environment, many cloud auditing ...
Xiaodong Yang, Meiding Wang, Xiuxiu Wang, Guilan Chen, Caifen Wang   +4 more
semanticscholar   +1 more source

Trauma‐Informed Practice in Welfare‐to‐Work and Employment Services: A Scoping Review

Australian Journal of Social Issues, EarlyView.
ABSTRACT There is increasing recognition within welfare services, including employment services, that many participants may have histories of trauma. Research suggests that experiences of trauma not only impact individuals' psychosocial health but also vocational elements such as job performance, employability, career progression, and financial ...
Emily Corbett, Michael McGann, Mark Considine, René Rejón   +3 more
wiley   +1 more source

The Statist Approach to the Philosophy of Immigration and the Problem of Statelessness

Global justice: Theory, Practice, Rhetoric, 2018
The issue of statelessness poses problems for the statist (or nationalist) approach to the philosophy of immigration. Despite the fact that the statist approach claims to constrain the state’s right to exclude with human rights considerations, the ...
Stephen E Mathis
doaj   +1 more source

Intra- and Inter-Session Network Coding in Wireless Networks [PDF]

, 2010
In this paper, we are interested in improving the performance of constructive network coding schemes in lossy wireless environments.We propose I2NC - a cross-layer approach that combines inter-session and intra-session network coding and has two ...
Markopoulou, Athina, Ramakrishnan, KK, Seferoglu, Hulya   +2 more
core  

A Comparison of Stateless Position-based Packet Routing Algorithms for FANETs

IEEE Transactions on Mobile Computing, 2018
Scalable routing for wireless communication systems is a compelling and challenging task. To this aim, routing algorithms exploiting geographic information have been proposed.
Armir Bujari, C. Palazzi, D. Ronzani
semanticscholar   +1 more source

Don't Worry About Her; Intersectionality, and the Role of Systems and Structures in the Embodied Experiences of Young Women's Use of Violence

Australian Journal of Social Issues, EarlyView.
ABSTRACT Systems and structures designed to protect and support young people, specifically (in this paper) young women, are ironically the same systems that maintain gender disparity. Consequently, this has influenced the embodied identities of young women who experience and use violence. Such systemic and structural intersectionality has impacted upon
Louise Rak, Tamara Blakemore, Elsie Randall, Meaghan Katrak Harris   +3 more
wiley   +1 more source