Results 71 to 80 of about 82,276 (357)

Optimal stateless model checking for reads-from equivalence under sequential consistency

Proc. ACM Program. Lang., 2019
We present a new approach for stateless model checking (SMC) of multithreaded programs under Sequential Consistency (SC) semantics. To combat state-space explosion, SMC is often equipped with a partial-order reduction technique, which defines an ...
P. Abdulla, M. Atig, B. Jonsson, M. Lång, Ngo Tuan Phong, Konstantinos Sagonas   +5 more
semanticscholar   +1 more source

Understanding Youth Assaults of Police Officers in Australia: A Power Threat Meaning Framework Analysis

Australian Journal of Social Issues, EarlyView.
ABSTRACT This study explores youth violence towards police officers in Australia through the Power Threat Meaning Framework (PTMF) to better understand the underlying factors contributing to such violence; focusing on power dynamics, childhood adversity, and trauma.
Dimitra Lattas, Kelly Hine, Catherine Creamer, Kelley Burton, Katelyn Davenport‐Klunder   +4 more
wiley   +1 more source

A study of university students’ attitudes towards stateless ‘Bidoon’ children’s rights in Kuwait

Cogent Education
This research looks into what Kuwaiti University students think about the rights of stateless kids, focusing on how much students support these rights.
Laila Saud Alkhayat, Nawaf Alanezi
doaj   +1 more source

Sinking into Statelessness

Tilburg Law Review, 2014
If rising seas render small islands uninhabitable, will displaced islanders become stateless? The modern intellectual and legal tradition tells us that states must have defined, habitable territory. If so, small islands will cease to be states, and their
Heather Alexander, Jonathan Simon
doaj   +1 more source

Realistic, Extensible DNS and mDNS Models for INET/OMNeT++ [PDF]

, 2015
The domain name system (DNS) is one of the core services in today's network structures. In local and ad-hoc networks DNS is often enhanced or replaced by mDNS. As of yet, no simulation models for DNS and mDNS have been developed for INET/OMNeT++.
Kaiser, Daniel, Rain, Andreas, Waldvogel, Marcel   +2 more
core  

Understanding the Housing and Support Experience of People With Complex Disability in Australia: A Qualitative Analysis of Submissions to the Disability Royal Commission

Australian Journal of Social Issues, EarlyView.
ABSTRACT In 2019, the Australian government established the Royal Commission into Violence, Abuse, Neglect and Exploitation of People with Disability (‘Disability Royal Commission’, DRC) to investigate widespread mistreatment of people with disability. Nearly 10,000 people with disability, their families and supporters engaged with the DRC.
Kate D'Cruz, Fiona Carey, Libby Witts, Jessie Spence, Peter Mulherin, Megan Topping, Di Winkler, Jacinta Douglas   +7 more
wiley   +1 more source

RMD (Resource Management in Diffserv) QoS-NSLP model [PDF]

, 2004
This draft describes a local QoS model, denoted as Resource Management in Diffserv (RMD) QoS model, for NSIS that extends the IETF Differentiated Services (Diffserv) architecture with a scalable admission control and resource reservation concept.
Bader, A., Karagiannis, G., Westberg, L.
core   +1 more source

‘People Need to Understand That They Are Stealing From Their Neighbours’: A Critical Media Analysis of the Representations and Resistance Throughout the Robodebt Scheme

Australian Journal of Social Issues, EarlyView.
ABSTRACT The Robodebt scheme issued thousand‐dollar debts to an estimated half a million people who had received social security. The debts were largely inaccurate and illegal, with the aim of improving the federal government's budget. The 2023 Royal Commission into the Robodebt Scheme found that the stigmatising political and public language about ...
Ella Kruger, Phillipa Evans
wiley   +1 more source

Best of Two Local Models: Local Centralized and Local Distributed Algorithms [PDF]

, 2014
We consider two models of computation: centralized local algorithms and local distributed algorithms. Algorithms in one model are adapted to the other model to obtain improved algorithms.
Even, Guy, Medina, Moti, Ron, Dana
core  

A different appetite for sovereignty? Independence movements in subnational island jurisdictions [PDF]

, 2012
Local autonomy in a subnational jurisdiction is more likely to be gained, secured or enhanced where there are palpable movements or political parties agitating for independence in these smaller territories.
Anckar D., Baldacchino G., Baldacchino G., Baldacchino G., Bartmann B., Bertram G., CIA, Connell J., Elias A., Eve Hepburn, Godfrey Baldacchino, Hepburn E., Hepburn E., Hooghe L., Jeffery C., Keating M., Keating M., Levine S., Loughlin J., McElroy J. L., Miodownik D., Palan R., Palan R., Peckham R. S., Royle S. A., Sidaway J. D., Srebrnik H. F., Türsan H.   +27 more
core   +2 more sources