In this paper, we suggest a coupling of the description model of an embedded real-time multitasking application with a timed automata based model. The coupling purposes consists of providing the description model with operational semantic which uses communication channels and waiting point notions. In order to allow static verification of such kind of applications, we simulate its dynamic behav...

In this paper we review how hardware has been described in the formal hardware veriication community. Recent developments in hardware description are evaluated against the background of the use of hardware description languages, and also in relation to programming languages. The notions of structure and behaviour are crucial to this discussion.

Background Obesity constitutes a crucial health issue during preschool period and has an impact on children regardless their ethnic backgrounds. The purpose of the study was to examine the self-efficacy perceptions of mothers and potential differences and correlations with dietary behaviour and physical activity of their preschool children in Finland. Materials and Methods: The sample for this...

A field-theoretic description of the critical behaviour of the weakly disordered systems is given. Directly, for three-and two-dimensional systems a renormal-ization analysis of the effective Hamiltonian of model with replica symmetry breaking (RSB) potentials is carried out in the two-loop approximation. For case with 1-step RSB the fixed points (FP's) corresponding to stability of the various...

This paper presents the behaviour-based control architecture iB2C (integrated Behaviour-Based Control) used for the development of complex robotic systems. The specification of behavioural components is described as well as the integration of behaviour coordination and hierarchical abstraction. It is considered how the design process can be supported by guidelines and by tools for development a...

In most retailer loyalty schemes, cardholders obtain ‘points’ based on their purchases. These points may be redeemed for rewards. This paper uses individual cardholder transaction records from a leading UK retailer and a related qualitative study to investigate this redemption behaviour. It provides a description and taxonomy of reward redemption behaviour, including non-redemption. Amongst tho...

State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events presented to it. Suitable choice of semantics for state machines allow multiple machines to be composed in the description of a single object. We describe an extension to this approach whereby different machines in the c...

This paper presents the behaviour-based control architecture iB2C (integrated Behaviour-Based Control) used for the development of complex robotic systems. The specification of behavioural components is described as well as the integration of behaviour coordination and hierarchical abstraction. It is considered how the design process can be supported by guidelines and by tools for development a...