Results 91 to 100 of about 6,513,935 (304)
An Abstract Interpretation Toolkit for μCRL
Electronic Notes in Theoretical Computer Science, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J.C. van de Pol (Jaco) +1 more
openaire +9 more sources
Abstraction carrying code and resource-awareness [PDF]
, 2005 Proof-Carrying Code (PCC) is a general approach to mobile code safety in which the code supplier augments the program with a certifícate (or proof). The intended benefit is that the program consumer can locally validate the certifícate w.r.t.
Albert Albiol, Elvira +3 more
core
, 2002 We present an approach enabling end-users to prove security properties of the Java bytecode by statically analysing the code itself, thus eliminating the run time check for the access permission. The approach is based on the combination of two well-known
DE FRANCESCO, NICOLETTA +3 more
core +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito +7 more
wiley +1 more source
The Use of Dependencies for Improving the Precision of Program Static Analysis
Моделирование и анализ информационных систем, 2011 The development of dependency analysis methods in order to improve static code analysis precision is considered in this paper. Reasons for precision loss is abstract interpretation methods when detecting defects in program source code are explained.
M. I. Glukhikh +2 more
doaj
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
ARISTOTLE ON PREDICATION AND DEMONSTRATION
Manuscrito, 2019 I argue against the standard interpretation of Aristotle’s account of ‘natural predication’ in Posterior Analytics 1.19 and 1.22 according to which only substances can serve as subjects in such predications.
DAVID BRONSTEIN
doaj +1 more source
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis [PDF]
, 2012 This paper describes the design and implementation of a system, called TSL (for "Transformer Specification Language"), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code.
Lim, Junghee, Reps, Thomas
core
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries [PDF]
Due to indirect branch instructions, analyses on executables commonly suffer from the problem that a complete control flow graph of the program is not available.
Veith, Helmut +2 more
core +2 more sources
Range Analysis of Binaries with Minimal Effort [PDF]
, 1992 COTS components are ubiquitous in military, industrial and governmental systems. However, the bene?fits of reduced development and maintainance costs are compromised by security concerns.
Barrett, Edd, King, Andy
core +1 more source