Results 1 to 10 of about 1,516 (255)
Correct-by-Construction Runtime Enforcement in AI – A Survey [PDF]
, 2022 Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime. In this paper, we are interested in techniques for constructing runtime enforcers for the concrete application domain of enforcing safety in AI.
Bettina Könighofer +3 more
openaire +4 more sources
Runtime Enforcement of Dynamic Security Policies [PDF]
, 2014 Ministerio de Economía y Competitividad TIN2012 ...
José Miguel Horcas +2 more
openaire +6 more sources
Efficient Record Linkage in the Age of Large Language Models: The Critical Role of Blocking
AlgorithmsRecord linkage is an essential task in data integration in the fields of healthcare, law enforcement, fraud detection, transportation, biology, and supply chain management.
Nidhibahen Shah +6 more
doaj +1 more source
The Principle of Least Privilege in Microservices: A Systematic Mapping Study
Applied SciencesWhile Microservice Architectures (MSAs) offer enhanced scalability and maintenance, they introduce significant complexity for access control and, specifically, the rigorous enforcement of the Principle of Least Privilege (PoLP).
Shouki A. Ebad, Marwa Amara
doaj +1 more source
Information5G-Advanced (3GPP Release 18) architectural changes include multi-access edge computing (MEC) architectural changes, network automation, and non-public networks (NPNs).
Ehigiator Egho-Promise +3 more
doaj +1 more source
What can you verify and enforce at runtime? [PDF]
International Journal on Software Tools for Technology Transfer, 2011 The underlying property, its definition and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents
Falcone, Yliès +2 more
openaire +2 more sources
Checkpointed DeFi Agents With On-Chain Accountability and Early Policy Enforcement
IEEE AccessDecentralized finance (DeFi) agents automate multi-transaction workflows such as swapping, lending, and vault management, but they also create process-level risk.
Jonghyup Lee
doaj +1 more source
Developing Theoretical Foundations for Runtime Enforcement
CoRR, 2018 The ubiquitous reliance on software systems increases the need for ensuring that systems behave correctly and are well protected against security risks. Runtime enforcement is a dynamic analysis technique that utilizes software monitors to check the runtime behaviour of a software system with respect to a correctness specification. Whenever the runtime
Ian Cassar +3 more
openaire +2 more sources
International Islamic University Malaysia Engineering JournalConcurrent programming remains a persistent challenge in undergraduate computer science and engineering education, largely because its failure modes are difficult to observe and reason about.
Teddy Surya Gunawan
doaj +1 more source
From Static Prediction to Mindful Machines: A Paradigm Shift in Distributed AI Systems
ComputersA special class of complex adaptive systems—biological and social—thrive not by passively accumulating patterns, but by engineering coherence, i.e., the deliberate alignment of prior knowledge, real-time updates, and teleonomic purposes.
Rao Mikkilineni, W. Patrick Kelly
doaj +1 more source