Anne Robert

Learn More
This paper studies a general methodology and an associated tool for translating AADL (Architecture Analysis and Design Language) and annex behavior specification into the BIP (Behavior Interaction Priority) language. This allows simulation of systems specified in AADL and application to these systems of formal verification techniques developed for BIP, e.g.(More)
This paper presents the project STARMATE, funded by the EU (IST-1999-10202), which aims at specifying, designing, developing, and demonstrating a prototype allowing computer guided maintenance of complex mechanical elements using Augmented Reality techniques. The system will provide two main functionalities: User assistance for achieving(More)
With the continuous increase in number of network attacks, distribution/variation of attacks sources and their complexity, large and information-critical organizations are mostly affected. There is therefore no doubt the need to develop a system that will detect and combat such attacks. That system is called Distributed Intrusion Detection System. The(More)
Schistosomiasis is among the most neglected tropical diseases, since its mode of spreading tends to limit the contamination to people who are in contact with contaminated waters in endemic countries. Here we report the in vitro and in vivo anti-schistosomal activities of trioxaquines. These hybrid molecules are highly active on the larval forms of the worms(More)
The accumulation of redox-active metal ions, in particular copper, in amyloid plaques is considered to the cause of the intensive oxidation damage to the brain of patients with Alzheimers disease (AD). Drug candidates based on a bis(8-aminoquinoline) tetradentate ligand are able to efficiently extract Cu(2+) from copper-loaded amyloids (Cu-Aβ). Contrarily,(More)
The deep ocean is the largest and least known ecosystem on Earth. It hosts numerous pelagic organisms, most of which are able to emit light. Here we present a unique data set consisting of a 2.5-year long record of light emission by deep-sea pelagic organisms, measured from December 2007 to June 2010 at the ANTARES underwater neutrino telescope in the deep(More)
Concept Extraction in multimedia is identifying and segmenting of multimedia documents based on their implicit contextual characteristics found in the associated transcript file. Multimedia retrieval is being encountered every now and then; however multimedia search systems that can retrieve video segments through large multimedia collections for useful(More)
Biometric authentication has been described to be reliable solution to the problem of identity determination by establishing the identity of a person based on " who he is", but permanent Identity theft has been considered an important issue since biometric samples are not secret and when a biometric feature is compromised, it cannot be changed. This(More)
In an age when information exchange has been made more mobile by the advent and advances in internet technology, information security is assuming a worrisome dimension. Hacking, phishing, eavesdropping, scamming and a host of other vices have become the order of the day on communication channels. This research addresses the problem of data security on(More)
In this paper we show that by performing some VHDL elaboration transformations before synthesis we can extend the synthesis subset to include complex structural and hierarchical statements. This in turn means that: • Design, debug and simulation times are reduced • Designs are more accessible (readable, modifiable, portable, reusable) • Design prototyping(More)