This paper presents a structural pattern recognition system for signals interpreted and described by a human expert. For each pattern to be recognized, the signal is represented by a sequence of local information ('types of primitives') which is syntactically correct if some 'structural attributes' are satisfied. Types of primitives and structural… (More)
In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler have allowed for a trustworthy development and have facilitated the fulfillment of the security specification.
Manually proving software level <i>Freedom From Interference</i> is really difficult because it requires the identification of all code statements where an interference may happen. Static analysis enables the automatic identification of code statement leading to interferences and SafeRiver has developed a static tool for software level interferences… (More)
While the use of XML is pervading all areas of IT, security challenges arise when XML files are used to transfer security data such as security policies. To tackle this issue, we have developed a lightweight secure XML validator and have chosen to base the development on the strongly typed functional language OCaml. The initial development took place as… (More)
The aim of automatic EEG analysis is to detect and class the significant events of the signal. For the detection phase an autoregressive model is developed giving rise to non-stationary points. The model used to analyse information in each event goes further than the problem of existence or non-existence. It is possible to understand qualitative aspects… (More)