Results 91 to 100 of about 683 (202)
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness [PDF]
, 2000 In our previous papers [7,11,23], we presented advanced type systems for the π-calculus, which can guarantee deadlock-freedom in the sense that certain communications will eventually succeed unless the whole process diverges. Although such guarantee is quite useful for reasoning about the behavior of concurrent programs, there still remains a weakness ...
openaire +1 more source
Secrecy: An Epistemological Account
Noûs, EarlyView.ABSTRACT Although the ethical and political implications of secrecy are significant, I argue here that its fundamental nature is epistemological and that any account of its nature must be based on its epistemological profile. In particular, I propose examining secrecy within the framework of social and political epistemology, considering secrets as ...
Jesús Navarro
wiley +1 more source
Nature's Complexity Alive: Farewell to Several Unificatory Cosmological Arguments for Monism
Noûs, EarlyView.ABSTRACT Throughout history, numerous thinkers have claimed that monism—in the form of priority monism, existence monism, monotheistic monism, or versions that posit an extra‐cosmic ultimate being—theoretically surpasses pluralism, above all by positing a unified universe.
Lok‐Chi Chan
wiley +1 more source
Ring-Split: Deadlock-Free Routing Algorithm for Circulant Networks-on-Chip. [PDF]
Micromachines (Basel), 2023 Romanov AY +4 more
europepmc +1 more source
Equity How and Equity for Whom? Incorporating Equity Into Local Government Budgeting Processes
Public Administration, EarlyView.ABSTRACT Social equity is politically polarized, with advocates contending that it is a governance mandate and opponents claiming that it promotes reverse discrimination and inefficiencies. When implementing policies and programs, local bureaucrats must maneuver within this legal, ethical, normative, and political battlefield.
Alexis R. Kennedy +2 more
wiley +1 more source
Understanding Literal Compliance in the European Union's Multilevel Fiscal Governance
Regulation &Governance, EarlyView.ABSTRACT Even if member states formally comply with EU law, the ‘ideal type’ of literal compliance, where EU rules are compliantly transposed without customizing their density or restrictiveness, is both rare and improbable. Why do EU member states engage in literal compliance in the ‘least likely’ case of the EU's Fiscal Compact, where customized ...
Tiziano Zgaga, Eva Thomann
wiley +1 more source
Trabalho & Educação, 2015 Referenciado na ontologia crítica, o ensaio examina a liberdade como uma das categorias centrais das vanguardas modernistas e pós-modernistas, considerando o que dispõem as ideologias estéticas dos movimentos artísticos e as contradições da práxis desses
Ronaldo Rosas Reis +1 more
doaj
Regulation &Governance, EarlyView.ABSTRACT Adopted in 2024, the EU Corporate Sustainability Due Diligence Directive (EUCS3D, alternatively EUCSDDD) instructs member states to regulate human rights and environmental due diligence across business operations and their global value chains.
Manuel Kiewisch
wiley +1 more source
Why You Cannot Rank First: Modifications for Benchmarking Six-Degree-of-Freedom Visual Localization Algorithms. [PDF]
Sensors (Basel), 2023 Han S, Gao W, Hu Z.
europepmc +1 more source
Regulation &Governance, EarlyView.ABSTRACT The regulation of business is increasingly characterized by “soft” governance regimes that blur the boundaries of public and private authority, as signaled by the rapid proliferation of multistakeholder initiatives in global governance. This article explores how the spread of multistakeholderism creates opportunities for new forms of strategic
Rob Ralston, Ben Hawkins
wiley +1 more source