default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICAASE 2016: Constantine, Algeria
- 2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016. IEEE 2016, ISBN 978-1-5090-3263-1
- Zakaria Benzadri
, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka:
A theoretical approach for modelling Cloud Services Composition. 1-8 - Lyes Badis, Mourad Amad, Djamil Aïssani, Kahina Bedjguelal, Aldja Benkerrou:
ROUTIL: P2P routing protocol based on interest links. 1-5 - Amir Benzaoui, Insaf Adjabi, Abdelhani Boukrouche:
Person identification based on ear morphology. 1-5 - Mohammed Nassim Lacheheub, Ramdane Maamri:
A formal model for business process decomposition based on resources consumption with security requirement. 1-8 - Rachida Boucebsi, Faiza Belala:
Towards modeling and verifying Wireless Mesh Networks. 1-7 - Nardjes Bouchemal, Ramdane Maamri:
CAPMA: Clone agent to protect mobile agents in dynamic environments. 17-21 - Abdelouahab Laachemi, Dalila Boughaci:
A stochastic local search combined with support vector machine for Web services classification. 9-16 - Nadira Benlahrache, Faiza Belala, Randa Ait Younes, Zoubida Belala:
Translating AADL systems to Java programs. 1-8 - Sofiane Boukelkoul, Ramdane Maamri:
Model-based DEVS for modeling and simulation of resource-constrained business processes. 1-6 - Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche:
Transformation and validation of BPMN models to Petri nets models using GROOVE. 22-29 - Farouq Zitouni, Ramdane Maamri:
An adaptive protocol for dynamic allocation of tasks in a multi-robot system. 128-133 - Ahmed Louazani, Larbi Sekhri:
Petri net model for connectivity maintenance in VANET clustering-based routing algorithm. 92-97 - Sofiane Bourouz, Nadia Zeghib:
Towards formal checking of Web services substitutability. 1-8 - Elhabib Abdelillah Ouhiba, Mohammed Amine Belfedhal, Abderrahmane Khiat, Chihab Eddine Zoua:
Ontology-based approach for arranging new objects by humanoid robots. 110-117 - Houda Haiouni, Ramdane Maamri:
Context-aware planning for intelligent environments. 1-5 - Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib:
Towards rewriting-based formal model for component-based systems verification. 46-53 - Samir Tigane, Laïd Kahloul, Samir Bourekkache:
Net rewriting system for GSPN a RMS case study. 38-45
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-05 21:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
