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 |