1. Recherche
25 résultats  enregistrer la recherche
...
hal-00709229v1  Communication dans un congrès
Amina Souag, Camille Salinesi, Isabelle Wattiau. Ontologies for Security Requirements: A Literature Survey and Classification
The 2nd International Workshop on Information Systems Security Engineering WISSE'12 in conjunction with the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12), Jun 2012, Gdansk, Poland. pp.1-8, 2012
...
hal-01155422v1  Communication dans un congrès
Rébecca Deneckère, Elena Kornyshova. Concept de Famille de Méthodes : qu'en pensent les utilisateurs ?
Agnes Front. INFORSID, May 2015, Biarritz, France. pp.49-64, 2015
...
hal-00709970v1  Pré-publication, Document de travail
Amina Souag, Camille Salinesi, Isabelle Wattiau. Ontologies for Security Requirements: A Literature Survey and Classification (long version)
2012
...
tel-00953368v1  Thèse
Truong Giang Le. Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications.
Other [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. English. <NNT : 2013CNAM0883>
...
hal-00864311v1  Communication dans un congrès
Amina Souag, Camille Salinesi, Isabelle Wattiau. Security requirements analysis based on security and domain ontologies
REFSQ, Apr 2013, Essen, Germany. pp.1-3, 2013
...
hal-00864300v1  Communication dans un congrès
Amina Souag, Camille Salinesi, Isabelle Wattiau, Haralambos Mouratidis. Using Security and Domain ontologies for Security Requirements Analysis
The 8th IEEE International Workshop on Security, Trust and Privacy for Software Applications in conjunction with COMPSAC, the IEEE Signature Conference on Computers, Software & Application., Jul 2013, Kyoto, Japan. pp.1-7, 2013
hal-00701503v1  Communication dans un congrès
Serge Abiteboul, Itay Dar, Radu Pop, Gabriel Vasile, Dan Vodislav. EDOS Distribution System: a P2P architecture for open-source content dissemination
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy. 2005
...
tel-00686960v1  Thèse
Hélène Topart. Etude d’une nouvelle classe de graphes : les graphes hypotriangulés
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2011. Français. <NNT : 2011CNAM0776>
...
tel-00752100v1  Thèse
Ofaina Taofifenua. Ontology centric design process : Sharing a conceptualization
Other [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2012. English. <NNT : 2012CNAM0818>
...
tel-00816392v1  Thèse
Robert Abo. Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2011. Français. <NNT : 2011CNAM0822>
...
tel-00770978v1  Thèse
Hervé Costantini. La mobilité sociale : Modèles et traces
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2012. Français. <NNT : 2012CNAM0827>
...
hal-00665937v1  Communication dans un congrès
Mathieu Jaume, Renaud Rioboo. Développement de systèmes sécurisés avec l'atelier FoCaLiZe
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. pp.104-118, 2012
...
tel-00923184v1  Thèse
Rostom Zakaria. Transmitter and receiver design for inherent interference cancellation in MIMO filter-bank based multicarrier systems
Other [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2012. English. <NNT : 2012CNAM0834>
...
tel-00787598v1  Thèse
Michel Simatic. Contributions au rendement des protocoles de diffusion à ordre total et aux réseaux tolérants aux délais à base de RFID
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2012. Français. <NNT : 2012CNAM0823>
...
tel-01153196v1  Thèse
Gaiyun Liu. Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets.
Other [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2014. English. < NNT : 2014CNAM0970 >
...
tel-00922995v1  Thèse
Kashif Mehmood. Conception des Systèmes d'Information : une approche centrée sur les Patrons de Gestion de la Qualité
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2010. Français. < NNT : 2010CNAM0721 >
...
tel-01133143v1  Thèse
Mohammed Ryadh Dahimene. Filtrage et Recommandation sur les Réseaux Sociaux
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2014. Français. < NNT : 2014CNAM0945 >
...
tel-00840484v1  Thèse
Mélanie Jacquel. Automatisation des preuves pour la vérification des règles de l'Atelier B
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. Français. <NNT : 2013CNAM0860>
...
tel-00957445v1  Thèse
Ghassen Tlig. Programmation mathématique en tomographie discrète
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. Français. <NNT : 2013CNAM0886>
...
tel-00968604v1  Thèse
Zeinab Hmedeh. Indexation pour la recherche par le contenu textuel de flux RSS.
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. Français. <NNT : 2013CNAM0894>
...
tel-00953425v1  Thèse
Pedro Martins Alessio. De la Métaphore à la tâche : une bibliothèque de concepts métaphoriques pour le prototypage de techniques d’interactions.
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. Français. <NNT : 2013CNAM0877>
...
tel-00968607v1  Thèse
Pierre-Nicolas Tollitte. Extraction de code fonctionnel certifié à partir de spécifications inductives.
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. Français. <NNT : 2013CNAM0895>
hal-00084198v1  Communication dans un congrès
Lom Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves. PN standardisation: a survey
26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. Springer-Verlag, 4229, pp.307-322, 2006, Lecture Notes in Computer Science. <10.1007/11888116_23>

Contact


archive-ouverte@inria.fr