Najm, Elie.
Najm, Elie, 19..-....
Najm, Elie, 1952-
Elie Najm obor působnosti: informační věda
VIAF ID: 85412408 (Personal)
Permalink: http://viaf.org/viaf/85412408
Preferred Forms
-
100 0 _ ‡a Elie Najm ‡c obor působnosti: informační věda
-
200 _ | ‡a Najm ‡b Elie
-
-
-
-
100 1 _ ‡a Najm, Elie
-
-
100 1 0 ‡a Najm, Elie
-
-
100 1 _ ‡a Najm, Elie ‡d 1952-
-
100 1 _ ‡a Najm, Elie ‡d 1952-
-
100 1 _ ‡a Najm, Elie, ‡d 19..-....
-
-
Works
Title | Sources |
---|---|
Algorithmique et modélisation pour la qualité de service des systèmes répartis temps réel |
![]() |
Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux |
![]() |
Une architecture pour les services Télécom |
![]() |
Assistance au raffinement dans la conception des systèmes embarqués |
![]() |
Assisting formal refinement and verification in embedded system design. |
![]() |
Behavioural Contracts for Components. |
![]() |
Conception de services pour maison intelligente à l'aide d'approches basées sur l'apprentissage automatique et la représentation de connaissances. |
![]() |
Contrats comportementaux pour composants |
![]() |
A convergent architecture for service continuity and personalization : architectural and functionnal aspects. |
![]() |
Data-driven reasoning in agroecology : application to the selection of service plant species. |
![]() |
Deriving semantic objects from the structured web. |
![]() |
Designing smart home services using machine learning and knowledge-based approaches |
![]() |
A dynamic and parsimonious model for the processing of aspect in natural language. |
![]() |
Formal description techniques and protocol specification [...] |
![]() |
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
FORTE 2006 |
![]() ![]() |
Inférer des objets sémantiques du Web structuré |
![]() |
intergiciels développements récents dans CORBA, Java RMI et les agents mobiles |
![]() ![]() |
Un modèle dynamique et parcimonieux du traitement automatisé de l'aspect dans les langues naturelles |
![]() |
Les modèles informationnels orientes objet pour des systèmes distribués |
![]() |
Modélisation de plate-forme avionique pour exploration de performance en avance de phase |
![]() |
NOTERE '2000 : nouvelles technologies de la répartition |
![]() |
Raisonner sur des données en agroécologie : application à la sélection d'espèces végétales de service |
![]() |
SDL Forum |
![]() |
Semantic approach to design connected services : architecture, composition algorithm, smart home application. |
![]() |
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plants. |
![]() |
System design languages 2007 |
![]() |
Systèmes à base de composants : du design à l'implémentation |
![]() |