We propose in this paper a formal framework based on the B method, that supports the development of secured smart card applications. Accordingly to the Common Criteria methodology, we focus on the formal definition and modelling of access control policies by means of dedicated B models expressing, on one hand, the access control rules, and, on the other hand, the dynamics of the system. These m...

The suitability of pea flour for cracker biscuits production was investigated in this study. Pea flour was characterised by high protein (21.46 %) and ash (3.11 %) content and exhibited relatively high emulsifying (37.50 ml/100 ml) and foaming (53.50 ml/100 ml) capacity. The effect of pea flour incorporation to wheat dough (substitution levels 0, 10, 20 and 30 %) on the rheological properties, ...

The article identifies and analyzes the risks threats that arise during development of interaction between universities industrial enterprises based on triple helix model in context modern technological modernization. authors name as main arising this case: lack clear goal-setting at state level, translated into a helix; insufficiently high degree adaptability links to realities risk economy; p...

a Department of Toxicology, Ahar Branch, Islamic Azad University, Ahar, Iran b Novin Kavosh Mamatir, 20th Street, Kaveh Industrial Zone, Saveh, Iran c Department of Clinical Toxicology, School of Medicine, Tehran University of Medical Sciences, Tehran, Iran d Department of Clinical Toxicology, School of Medicine and Razi Drug Research Center, Tehran University of Medical Sciences, P.O. Box: 141...

This was the second year of a study which evaluated the genetic variation among English walnut germplasm in response to infection by Xanthomonas campestris pv. juqlandis (Xcj), the bacterium which causes the disease walnut blight. Immature leaves and nuts of 10 walnut accessions representing the breadth of currently available germplasm were inoculated. Leaves were scored for disease severity at...

Process cooling below ambient temperature is an energy demanding part of many chemical production processes. Compression refrigeration systems operating at very low temperatures consume a lot of high quality utility such as electricity or high pressure steam to drive the compressor units. In industrial process clusters with several processes operating at low temperatures, it is important to inv...

We present a non-intrusive high-level SystemC debugging approach to be used with SystemC v2.0.1 and GNU debugger gdb. Our approach is integrated into an industrial design flow and enables developers to debug designs at high level working with signals, ports, events, and processes. Thus, one gets quick and concise insight into static structure and dynamic behavior of the design without the burde...