首页> 外文OA文献 >Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

【2h】

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

机译：分析执行跟踪以验证多代理系统中的交互协议

页面导航

摘要
著录项
相似文献
相关主题

摘要

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

机译：论文由蒙特利尔大学图书馆局数字化。

著录项

作者
Ben Ayed Nourchène;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种 fr
中图分类

相似文献

外文文献
中文文献
专利

1. Approche basée sur les réseaux de Pétri pour la vérification de la composition dans les systèmes par aspects [J] . Farida Mostefaoui, Julie Vachon RSTI . 2006,第2a3期

机译：Petri网方法来检查方面系统中的成分
2. Un protocole fondé sur des dilemmes pour se prémunir des collusions dans les systèmes de réputation [J] . Grégory Bonnet Revue d'Intelligence Artificielle . 2014,第4期

机译：基于两难的协议，以防止声誉系统中的串通
3. Mesurer les micropolluants dans les eaux usées brutes et traitées Protocoles et résultats pour l'analyse des concentrations et des flux [J] . M.COQUERY, M.POMIES, S.MARTIN-RUEL, Techniques Sciences Methodes . 2011,第1a2期

机译：测量原废水和处理后废水中的微量污染物浓度和流量分析的方案和结果
4. Initiatives endogènes d'intensification et de diversification à l'intérieur des agroforets-cacao au Sud-Cameroun: lecons pour une foresterie participative dans les systèmes à base de cultures pérennes en Afrique centrale et de l'Ouest [C] . Denis J. Sonwa, Stephan F.Weise, Ndoye Ousseynou, International Workshop on Participatory Forestry in Africa . 2003

机译：南喀麦隆阿格多雷特内部内源性倡议举措：中非常年作物系统参与式林业的lecons
5. Détection de faute automatique dans les systèmes solaires thermiques basée sur la vérification de règles et la simulation [D] . Maltais Larouche, Simon. 2016

机译：基于规则验证和仿真的太阳能热系统自动故障检测
6. Efficacité et innocuité des corticostéroïdes dans le traitement de la COVID-19 selon des données pour la COVID-19 d’autres infections aux coronavirus l’influenza la pneumonie extrahospitalière et le syndrome de détresse respiratoire aiguë : revue systématique et méta-analyse [O] . Zhikang Ye, Ying Wang, Luis Enrique Colunga-Lozano, 2020

机译：Covid-19治疗Covid-19的疗效和安全性根据Covid-19其他冠状病毒感染流感医院肺炎和急性呼吸窘迫综合征：系统审查和荟萃分析
7. ProtocolBuilder : "outil logiciel de développement et d'expérimentation de protocoles de communication pour les systèmes multiagents" [O] . Fall Madieyna Lamine 2004

机译：ProtocolBuilder：“用于开发和测试多代理系统通信协议的软件工具”

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

摘要

著录项

相似文献

相关主题

期刊订阅