Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Productions scientifiques
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs sources 2
Development of Critical Systems with UML/OCL and FoCaLiZe
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 5
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 3
Opportunistic Data Mules for Short Delay Smart City Applications
Fairouz CHEHBOUR, Zouina DOUKHA, Samira MOUSSAOUI, Mohamed GUERROUMI
2018 International Conference on Smart Communications in Network Technologies (SaCoNeT)Pages 126-1312018Communication Accès fermé 1
A Comparative Analysis of Service Composition Approaches for the Internet of Things
Farida Retima, Saber Benharzallah
Adaptation of Data and Comminication Security Techniques in the Context of Internet of Things
Kebache Romaissa, Laouid Abdelkader, ElMoatez Billah Nagoudi
2020Communication Accès ouvert
A Salient Object Detection Technique Based on Color Divergence
Sana Sahar Guia, Abdelkader Laouid, Reinhardt Euler, Mohammed Amine Yagoub, Ahcène Bounceur, Mohammad Ali A. Hammoudeh
Pages 1-62020Autre Accès fermé 1
A Cost-effective Deep Active Learning for Object Detection in Automated Driving Systems
Mohib Khebbache, Salim Bitam, Abdelhamid Mellouk
International Journal of Computing and Digital SystemsVolume 14، (1)، Pages 839-8542023Article Accès ouvert 1
CLASSIFICATION OF HEALTHY AND DISEASED VINE LEAVES USING THE FULL SPECTRA OF OBJECT AREA IN IMAGE
Georgieva, K, Georgieva, N, Zlatev, Z. D
ركن المحل في عقد بيع المال المنقول المعنوي في التشريع الجزائري - القاعدة التّجارية أنموذجا- دراسة مدعّمة بأحكام القضاء الفرنسي The object of sales intangible proprety in Algerien law - Example of sales busines- A study backed by french jurisprudence
كركادن فريد
أهمية إدراج معرف الكائن الرقمي DOI على المقالات وأصالة مجلات المنصة الجزائرية للمجلات العلمية
بحشاشي رابح
2023Communication Accès ouvert
YOLOv8 model for monitoring ghout degradation in the El Oued region, southeastern Algeria
Faouzi Mohammed Lacheheb, Nabil Mega, Akram Mohamed Seddiki, Abdelmonem Miloudi, Mohamed Nadhir Abid, Ishak Guemari, Azzeddine Laouid, Abderrahmane Khechekhouche
Environmental resilience through artificial intelligence: innovations in monitoring and management
Atif Khurshid Wani, Farida Rahayu, Ilham Ben Amor, Munleef Quadir, Mala Murianingrum, Parnidi Parnidi, Anjuman Ayub, Supriyadi Supriyadi, Sakiroh Sakiroh, Saefudin Saefudin et 2 autres
Environmental Science and Pollution ResearchVolume 31، (12)، Pages 18379-183952024Article Accès fermé 88
Rapid Automatized Naming and Visual Searching in Arabic-Speaking Children With and Without Dyslexia: The Potential Effect of Color
Smaïl Layes, Sana Tibi, Marjolaine Cohen, Linda J. Lombardino
الأفعال الماضية بين البناء للفاعل والبناء للمفعول ودلالاتها في القراءات القرآنية
مجلة علوم اللغة العربية وآدابهاVolume 13، (1)، Pages 1381-13942021Article Accès ferméPlusieurs sources