Results 51 to 60 of about 683 (202)

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions

Mathematics
This work addresses the analysis and characterization of deadlocks in discrete-event systems modeled by labeled Petri nets (LPNs) with undistinguishable and unobservable transitions.
Amal Zaghdoud, Zhiwu Li
doaj   +1 more source

Identity Impermanence as a Generic Social Process: The Malleability of Gender in Transgender and Nonbinary People's Lives

Symbolic Interaction, EarlyView.
Drawing on 40 in‐depth interviews with transgender and nonbinary people, we found that respondents' gender identities or displays shifted day‐by‐day and audience‐by‐audience. The first describes respondents shifting their identities and displays based on feeling their way through gender while the latter describes feeling out an audience.
Stef M. Shuster, Andrew Kirks‐Cler
wiley   +1 more source

The Problem With Efficiency as a Pervasive Principle in Business School Academia, and What a Sufficiency‐Based Approach Can Do Better

British Journal of Management, EarlyView.
Abstract Efficiency is a pervasive yet insufficiently challenged managerial principle and an integral part of business school academia. However, while there is compelling evidence that efficiency gains can have severe undesirable social and ecological consequences that reduce overall welfare both in terms of well‐being and natural resources, business ...
Stephan M. Schaefer, Christopher Wickert
wiley   +1 more source

Formal Specification and Verification of Self-Adaptive Concurrent Systems

IEEE Access, 2018
The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment.
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi   +1 more
doaj   +1 more source

Centralised by Design: Anglocentric Constitutionalism, Accountability and the Failure of English Devolution

The Political Quarterly, Volume 96, Issue 1, Page 189-198, January/March 2025.
Abstract The Labour manifesto in this year's election implied a radical restructuring of the UK state, the way in which England is governed and in relations across the United Kingdom. The aim of making English devolution the ‘default option’ is set against fifty years of unsuccessful and partial devolution initiatives which have failed to reverse the ...
John Denham, Janice Morphet
wiley   +1 more source

The Origins of the Human Rights Act: A ‘British Bill of Rights’ the First Time Around

The Political Quarterly, EarlyView.
Abstract This article reconstructs the first initiatives for a British Bill of Rights from the late 1960s to the mid‐1980s and argues that their failure shaped the eventual form of the Human Rights Act. Proposals for a Bill of Rights emerged across the political spectrum, but commanded most support on the right as a means of restraining trade unions ...
Marco Duranti, Chris Hilliard
wiley   +1 more source

Stretching Scarce Authorizing Legislation as Far as Possible: A Legislative History of the 340B Drug Pricing Program

The Milbank Quarterly, EarlyView.
Policy Points The original purpose of the 340B program was to exempt Public Health Service Act funded clinics and state and local public hospitals from the inflationary best‐price component of the recently enacted Medicaid drug rebate program. The secondary purpose was to reduce drug prices for these clinics and hospitals in order to preserve and ...
SAYEH NIKPAY, MIKAYLA REINKE, NICOLE QUINONES   +2 more
wiley   +1 more source

Catholic Values and Gender Politics in the Colombian Mass Media: Acción Cultural Popular (ACPO) in the 1970s

Gender &History, EarlyView.
ABSTRACT The 1970s were a decade of huge change for women in Colombia, from the legalisation of divorce to increased access to education, labour market participation and contraception. This article examines how the Catholic non‐governmental organisation Acción Cultural Popular (Popular Cultural Action, ACPO) responded to women's changing roles and ...
Anna Cant
wiley   +1 more source

Multipath Fault-Tolerant Routing Policies to deal with Dynamic Link Failures in High Speed Interconnection Networks

Journal of Computer Science and Technology, 2011
In this thesis, we present fault-tolerant routing policies based on concepts of adaptability and deadlock freedom, capable of serving interconnection networks affected by a large number of dynamic link failures. The strongest point of this thesis is that
Gonzalo Zarza
doaj  

Compositional analysis of deadlock-freedom for tree-like component architectures [PDF]

Proceedings of the 8th ACM international conference on Embedded software, 2008
We study architectural constraints for component systems in order to be able to guarantee safety-properties. Representing safety-properties, we investigate deadlock-freedom. We present a compositional and hence polynomial time condition for deadlock-freedom for a class of component-systems whose architecture is tree-like.
Majster-Cederbaum, Mila, Martens, Moritz
openaire   +2 more sources