Sciweavers

17 search results - page 3 / 4
» ciia 2009
Sort
View
CIIA
2009
13 years 11 months ago
Software Platform based Embedded Multiprocessor SoC Prototyping
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
Benaoumeur Senouci, Ali El Moussaoui, Bernard Goos...
CIIA
2009
13 years 11 months ago
Practical Use of an Audiometer Based on a Computer Software for Hearing Loss Screening
The project aimed at developing a software audiometer for hearing loss screening. The proposed software is definitely based on the internal peripherals of the computer without any ...
Ykhlef Fayçal, W. Benzaba, L. Bendaouia, A....
CIIA
2009
13 years 7 months ago
Implementation of Multi-Agents System to Control Adaptability in Workflow Environment
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
Hamdane Mohamed El-Kamel, Lezzar Fouzi, Boufenar C...
CIIA
2009
13 years 11 months ago
LCF-style for Secure Verification Platform based on Multiway Decision Graphs
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
Sa'ed Abed, Otmane Aït Mohamed
CIIA
2009
13 years 11 months ago
Web Services Composition Applying MDA
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
Yamina Hachemi, Mimoun Malki, Djamel Amar Bensaber