Abstract is missing.
- Ontology-driven and Community-based Framework for Services Description and Selection of Composite ServicesAmel Boustil, Ramdane Maamri, Zaïdi Sahnoun. 12-19 [doi]
- Hybrid Web Service Selection Based on Functional and Non-Functional PropertiesMohamed Merabet, Sidi Mohamed Benslimane. 20-26 [doi]
- Mop-ECATNets for Formal Modeling Dynamic Web ServicesFateh Latreche, Faiza Belala. 27-34 [doi]
- Specifying and Verifying Aspect-Oriented Systems in Rewriting LogicAmina Boudjedir, Toufik Benouhiba, Djamel Meslati. 36-43 [doi]
- An Approach to Diversify Entity Search ResultsImène Saidi, Sihem Amer-Yahia, Safia Nait Bahloul. 44-51 [doi]
- A Multi-Objective Hybrid Particle Swarm Optimization-based Service IdentificationMohamed Merabet, Sidi Mohamed Benslimane. 52-62 [doi]
- Formal Specification of Multi-Agent System ArchitectureAhmed T. Dib, Zaïdi Sahnoun. 65-72 [doi]
- Validation and Verification of Agent and Multi-agent Plans in Dynamic EnvironmentSaid Brahimi, Ramdane Maamri, Zaïdi Sahnoun. 73-82 [doi]
- Specification and Verification of Timed Semantic web ServicesAmel Boumaza, Ramdane Maamri. 83-90 [doi]
- K-Maude Definition of Dynamic Software ArchitectureSahar Smaali, Aïcha Choutri, Faïza Belala. 92-99 [doi]
- Component-Based Specification of Software Product Line ArchitectureAmina Guendouz, Djamal Bennouar. 100-107 [doi]
- Dealing with Deviations on Software Process Enactment: Comparison FrameworkManel Smatti, Mohamed A. Nacer. 108-115 [doi]
- Integration of Multi Criteria Analysis Methods to a Spatio Temporal Decision Support System for Epidemiological MonitoringFarah A. Zemri, Djamila Hamdadou. 116-123 [doi]
- Maximality-based Region Graph: A Novel AlternativeRiadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni. 125-132 [doi]
- Modeling Channel Allocation via BRS: Case of WMNsRachida Boucebsi, Faiza Belala, Lakhdar Derdouri. 133-139 [doi]
- Compositional Schedulability Analysis of An Avionics System Using UPPAALAbdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman. 140-147 [doi]
- Smart Home for Elderly: Modeling and SimulationYacine Kissoum, Sara Kerraoui, Mohamed L. Boughaouas. 148-155 [doi]
- Generating FoCaLiZe Specifications from UML ModelsMessaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo. 157-164 [doi]
- BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and AnalysisZakaria Benzadri, Chafia Bouanaka, Faiza Belala. 165-170 [doi]
- Adaptation of Service-Based Context-Aware Applications with FraSCAti PlatformAbdelkader Bouguessa, Boudjemaa Boudaa, Leila A. Mebarki. 171-179 [doi]
- A Highly Adaptive Leader Election Algorithm for Mobile Ad Hoc NetworksLeila Melit, Nadjib Badache. 181-184 [doi]
- Petri Net Modeling Dynamic Context of Ambient SystemsAli Sahnoun, Ramdane Maamri. 185-188 [doi]
- OntoWM: An Ontology for Unification and Description of Web MiningKhaled Benali, Sidi A. Rahal. 189-192 [doi]
- Software Component Quality EvaluationMebarka Yahlali, Abdallah Chouarfia. 193-196 [doi]
- Attributes Propagation on FEA ModelOuarda Rachidiou, Okba Hamri. 197-200 [doi]
- A New Distributed Anonymization Protocol to Satisfy Multiple Data Providers Privacy RequirementsSalaheddine Kabou, Sidi Mohamed Benslimane. 201-204 [doi]
- An MDA Approach for Process-Based Collaborative Systems DevelopmentKhoutir Bouchbout, Nassim Iklef. 205-213 [doi]