-
101كتاب
المؤلفون: Nguyen, Hiep H., Imine, Abdessamad, Rusinowitch, Michaël
المصدر: Foundations and Practice of Security ; Lecture Notes in Computer Science ; page 49-64 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319170398 9783319170404
-
102كتاب
المؤلفون: Hoang, Bao-Thien, Imine, Abdessamad
المصدر: Lecture Notes in Computer Science ; Stabilization, Safety, and Security of Distributed Systems ; page 171-186 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319217406 9783319217413
-
103مؤتمر
المؤلفون: Ahmad, Mumtaz, Imine, Abdessamad
المصدر: 2015 16th IEEE International Conference on Mobile Data Management
الإتاحة: https://doi.org/10.1109/mdm.2015.26Test
http://xplorestaging.ieee.org/ielx7/7263115/7264280/07264343.pdf?arnumber=7264343Test -
104مؤتمر
المؤلفون: Nguyen, Hiep H., Imine, Abdessamad, Rusinowitch, Michaël
المصدر: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security
-
105مؤتمر
المؤلفون: Nguyen, Hiep H., Imine, Abdessamad, Rusinowitch, Michaël
المصدر: Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2015
-
106دورية أكاديمية
المؤلفون: Mechaoui, Moulay Driss, Guetmi, Nadir, Imine, Abdessamad
المساهمون: Université des sciences et de la Technologie d'Oran Mohamed Boudiaf Oran (USTO MB), Laboratoire d'informatique et d'automatique pour les systèmes EA 6315 (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 1936-6442.
مصطلحات موضوعية: [INFO]Computer Science [cs]
العلاقة: hal-03204310; https://hal.science/hal-03204310Test
-
107دورية أكاديمية
المؤلفون: Guetmi, Nadir, Mechaoui, Moulay Driss, Imine, Abdessamad
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes EA 6315 (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Université des sciences et de la Technologie d'Oran Mohamed Boudiaf Oran (USTO MB), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 0926-4981 ; ERCIM News ; https://inria.hal.science/hal-01241505Test ; ERCIM News, 2015, Trustworthy Systems of Systems, 102, pp.47-48 ; https://ercim-news.ercim.eu/en102/r-i/resilient-collaboration-for-mobile-cloud-computingTest.
مصطلحات موضوعية: Mobile cloud computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: hal-01241505; https://inria.hal.science/hal-01241505Test
-
108دورية أكاديمية
المساهمون: Laboratoire VeriForm - Department of Computer Engineering (VeriForm), École Polytechnique de Montréal (EPM), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://hal.science/hal-01094030Test ; IEEE Transactions on Computers, 2015, 64 (4), pp.1074 - 1089. ⟨10.1109/TC.2014.2308203⟩.
مصطلحات موضوعية: proof of convergence, operational transformation, Collaborative editors, controller synthesis, symbolic model checking, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
العلاقة: hal-01094030; https://hal.science/hal-01094030Test
-
109دورية أكاديمية
المساهمون: Laboratoire VeriForm - Department of Computer Engineering (VeriForm), École Polytechnique de Montréal (EPM), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 1633-1311 ; EISSN: 2116-7125.
مصطلحات موضوعية: [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: hal-01093982; https://hal.science/hal-01093982Test
الإتاحة: https://hal.science/hal-01093982Test
-
110مؤتمر
المؤلفون: Mahfoud, Houari, Imine, Abdessamad, Rusinowitch, Michael
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Bipin C. Desai and Josep-Lluis Larriba-Pey and Jorge Bernardino
المصدر: IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium ; https://inria.hal.science/hal-00915318Test ; IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ⟨10.1145/2513591.2513657⟩
جغرافية الموضوع: Spain
الوقت: Barcelone, Spain
العلاقة: hal-00915318; https://inria.hal.science/hal-00915318Test