Results 21 to 30 of about 1,169,291 (287)
Security Policies as Membranes in Systems for Global Computing [PDF]
Logical Methods in Computer Science, 2005 We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body ...
Daniele Gorla +2 more
doaj +1 more source
Low multiplication noise thin Al0.6Ga0.4As avalanche photodiodes [PDF]
, 2001 Avalanche multiplication and excess noise were measured on a series of Al0.6Ga0.4As p+in+ and n+ip+ diodes, with avalanche region thickness, w ranging from 0.026 μm to 0.85 μm.
David, J.P.R. +5 more
core +1 more source
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus [PDF]
Logical Methods in Computer Science, 2008 Tse and Zdancewic have formalized the notion of noninterference for Abadi et al.'s DCC in terms of logical relations and given a proof of noninterference by reduction to parametricity of System F. Unfortunately, their proof contains errors in a key lemma
Naokata Shikuma, Atsushi Igarashi
doaj +1 more source
Linear Abadi and Plotkin Logic [PDF]
Logical Methods in Computer Science, 2006 We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a wide ...
Lars Birkedal +2 more
doaj +1 more source
Barriers in Concurrent Separation Logic: Now With Tool Support! [PDF]
Logical Methods in Computer Science, 2012 We develop and prove sound a concurrent separation logic for Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two.
Aquinas Hobor, Cristian Gherghina
doaj +1 more source
Role of the liver in splanchnic extraction of atrial natriuretic factor in the rat [PDF]
, 1992 Mesenteric, hepatic and splanchnic extraction of C-terminal and N-terminal atrial natriuretic factor was investigated in male Sprague-Dawley rats. Plasma concentrations (mean ± S.E.M.) of C-terminal atrial natriuretic factor were 55.0 ± 6.1 fmol/ml, 31.2
Alexander L. Gerbes +39 more
core +1 more source
A Human Development Framework for CO2 Reductions [PDF]
, 2011 Although developing countries are called to participate in CO2 emission reduction efforts to avoid dangerous climate change, the implications of proposed reduction schemes in human development standards of developing countries remain a matter of debate ...
A Patt +37 more
core +5 more sources
Logical Reasoning for Higher-Order Functions with Local State [PDF]
Logical Methods in Computer Science, 2008 We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exported outside their scope, may store higher-order functions and may be used to
Nobuko Yoshida +2 more
doaj +1 more source
Relational Parametricity for Computational Effects [PDF]
Logical Methods in Computer Science, 2009 According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied.
Rasmus Ejlers Møgelberg, Alex Simpson
doaj +1 more source
Micromechanical investigations of CVD coated WC-Co cemented carbide by micropillar compression
Materials & Design, 2020 Deformation behavior of an industrial coated cemented carbide (WC-Co substrate coated with CVD multilayer of TiN/Zr(C,N)/Ti(C,N,O)/Al2O3) was investigated by means of micropillar compression method.
Idriss El Azhari +7 more
doaj +1 more source