385 | -- | 386 | Faiza Belala, Ramdane Maamri. Formal modeling and analysis of complex software |
387 | -- | 397 | Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib. A formal quantitative analysis of elastic cloud systems based on PSMaude |
398 | -- | 407 | Soumiya Ain El Hayat, Fouad Toufik, Mohamed Bahaj. UML/OCL based design and the transition towards temporal object relational database with bitemporal data |
408 | -- | 418 | Mohammed Nassim Lacheheub, Nabil Hameurlain, Ramdane Maamri. Resources consumption analysis of business process services in cloud computing using Petri Net |
419 | -- | 424 | Wasiur Rhmann, Babita Pandey, Gufran Ahmad Ansari, Devendra Kumar Pandey. Software fault prediction based on change metrics using hybrid algorithms: An empirical study |
425 | -- | 432 | Mohamed Ramdani, Mohamed Benmohammed, Nadjia Benblidia. Comparison of scalar point multiplication algorithms in a low resource device |
433 | -- | 446 | Samir Benbelkacem, Nadia Zenati-Henda, Djamel Aouam, Yousra Izountar, Samir Otmane. MVC-3DC: Software architecture model for designing collaborative augmented reality and virtual reality systems |
447 | -- | 453 | Neziha Jaouedi, Noureddine Boujnah, Med Salim Bouhlel. A new hybrid deep learning model for human action recognition |
454 | -- | 464 | Mouhoub Belazzoug, Mohamed Touahria, Farid Nouioua, Mohammed Brahimi. An improved sine cosine algorithm to select features for text categorization |
465 | -- | 478 | Zakarya Elaggoune, Ramdane Maamri, Imane Boussebough. A fuzzy agent approach for smart data extraction in big data environments |
479 | -- | 490 | Rashmi Rekha Sahoo, Mitrabinda Ray. PSO based test case generation for critical path using improved combined fitness function |
491 | -- | 504 | Abdia Hamdani, Abdelkrim Abdelli. Towards modelling and analyzing timed workflow systems with complex synchronizations |
505 | -- | 513 | Soufiane Boulehouache, Selma Ouareth, Ramdane Maamri. A self-switching multi-strategic pedagogical agent |
514 | -- | 521 | Nishtha Jatana, Bharti Suri. Particle Swarm and Genetic Algorithm applied to mutation testing for test data generation: A comparative evaluation |
522 | -- | 528 | Ahmed Louazani, Larbi Sekhri. Time Petri Nets based model for CL-MAC protocol with packet loss |
529 | -- | 541 | Lakhdar Derdouri, CongDuc Pham. A delay analysis of active reliable multicast protocols on unreliable wireless mesh network backhaul |