Results 221 to 230 of about 75,581 (265)
Some of the next articles are maybe not open access.
An enhanced CFA for security policies
2003We introduce a Control Flow Analysis, improving the one in [6], that statically approximates the dynamic behaviour of mobile processes, expressed in (a variant of) the -calculus. Our analysis of a system is able to describe the behaviour of each sub-system, tracking where and between whom communications may occur.
ZANNONE, N. +3 more
openaire +3 more sources
Demosaicing of CFA 3.0 with Applications to Low Lighting Images
Sensors, 2020Jude Larkin +2 more
exaly

