Abstract is missing.
- ROUTIL: P2P routing protocol based on interest linksLyes Badis, Mourad Amad, Djamil Aïssani, Kahina Bedjguelal, Aldja Benkerrou. 1-5 [doi]
- Context-aware planning for intelligent environmentsHouda Haiouni, Ramdane Maamri. 1-5 [doi]
- Towards modeling and verifying Wireless Mesh NetworksRachida Boucebsi, Faiza Belala. 1-7 [doi]
- Model-based DEVS for modeling and simulation of resource-constrained business processesSofiane Boukelkoul, Ramdane Maamri. 1-6 [doi]
- Translating AADL systems to Java programsNadira Benlahrache, Faiza Belala, Randa Ait Younes, Zoubida Belala. 1-8 [doi]
- A theoretical approach for modelling Cloud Services CompositionZakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka. 1-8 [doi]
- Towards formal checking of Web services substitutabilitySofiane Bourouz, Nadia Zeghib. 1-8 [doi]
- A formal model for business process decomposition based on resources consumption with security requirementMohammed Nassim Lacheheub, Ramdane Maamri. 1-8 [doi]
- Person identification based on ear morphologyAmir Benzaoui, Insaf Adjabi, Abdelhani Boukrouche. 1-5 [doi]
- A stochastic local search combined with support vector machine for Web services classificationAbdelouahab Laachemi, Dalila Boughaci. 9-16 [doi]
- CAPMA: Clone agent to protect mobile agents in dynamic environmentsNardjes Bouchemal, Ramdane Maamri. 17-21 [doi]
- Transformation and validation of BPMN models to Petri nets models using GROOVESaid Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche. 22-29 [doi]
- Net rewriting system for GSPN a RMS case studySamir Tigane, Laïd Kahloul, Samir Bourekkache. 38-45 [doi]
- Towards rewriting-based formal model for component-based systems verificationA. A. Debza, Chafia Bouanaka, Nadia Zeghib. 46-53 [doi]
- Petri net model for connectivity maintenance in VANET clustering-based routing algorithmAhmed Louazani, Larbi Sekhri. 92-97 [doi]
- Ontology-based approach for arranging new objects by humanoid robotsElhabib Abdelillah Ouhiba, Mohammed Amine Belfedhal, Abderrahmane Khiat, Chihab Eddine Zoua. 110-117 [doi]
- An adaptive protocol for dynamic allocation of tasks in a multi-robot systemFarouq Zitouni, Ramdane Maamri. 128-133 [doi]