Filtrer vos résultats
- 57
- 21
- 54
- 19
- 2
- 2
- 1
- 2
- 77
- 5
- 4
- 1
- 1
- 12
- 14
- 9
- 3
- 10
- 9
- 12
- 8
- 72
- 6
- 77
- 77
- 49
- 6
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 26
- 20
- 9
- 9
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
78 résultats
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Communication dans un congrès
hal-00926244v1
|
|||
A new perspective on analogical proportions15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Sep 2019, Belgrade, Serbia
Communication dans un congrès
hal-02169422v1
|
|||
The analogical cube of opposition6th World Congress on the Square of Opposition (SQUARE 2018), Nov 2018, Crete, Greece
Communication dans un congrès
hal-01984982v1
|
|||
|
A formal framework to prove the correctness of model driven engineering composition operatorsICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès
hal-01024067v1
|
||
Querying uncertain multiple sources8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.286-291
Communication dans un congrès
hal-01063457v1
|
|||
Database Querying in the Presence of Suspect Values19th East-European Conference on Advances in Databases and Information Systems (ADBIS’15), Sep 2015, Poitiers, France. pp.6
Communication dans un congrès
hal-01186580v1
|
|||
From analogical proportions in lattices to proportional analogies in formal conceptsECAI - 21th European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic
Communication dans un congrès
hal-01000314v1
|
|||
|
Handling uncertainty in relational databases with possibility theory - A survey of different modelings12th International Conference on Scalable Uncertainty Management (SUM 2018), Oct 2018, Milan, Italy. pp.396-404, ⟨10.1007/978-3-030-00461-3_30⟩
Communication dans un congrès
hal-03634970v1
|
||
|
Setting the Record Straighter on Shadow BanningINFOCOM 2021 - IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩
Communication dans un congrès
hal-03234771v1
|
||
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Communication dans un congrès
hal-01187760v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue
hal-01585237v1
|
||
|
A Certainty-Based Model for Uncertain DatabasesIEEE Transactions on Fuzzy Systems, 2015, 23 (4), pp.1181 - 1196. ⟨10.1109/TFUZZ.2014.2347994⟩
Article dans une revue
hal-01186506v1
|
||
|
Ceteris Paribus Structure in Logics of Game Forms (2013)Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Communication dans un congrès
hal-01141938v2
|
||
Modèles possibilistes de bases de données incertaines - Une vue d'ensemble27èmes Rencontres Francophones sur la Logique Floue et Applications (LFA 2018), 2018, Arras, France
Communication dans un congrès
hal-01962970v1
|
|||
|
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsAutonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Article dans une revue
hal-01624691v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue
hal-01319576v1
|
|||
|
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Communication dans un congrès
hal-01096102v1
|
||
|
A Distributed Q-Learning Approach for Adaptive Sleep Modes in 5G NetworksWCNC 2019 : IEEE Wireless Communications and Networking Conference, Apr 2019, Marrakech, Morocco. ⟨10.1109/WCNC.2019.8885818⟩
Communication dans un congrès
hal-01988226v1
|
||
From AADL to timed abstract state machine: a certified model transformationJournal of Systems and Software, 2014, Journal of Systems and Software, pp.20
Article dans une revue
hal-01095002v1
|
|||
Dealing with aggregate queries in an uncertain database model based on possibilistic certainty15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'14), Jul 2014, Montpellier, France. pp.150-159
Communication dans un congrès
hal-01063447v1
|
|||
|
Towards a Model-Based DevOps for Cyber-Physical SystemsSoftware Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
Chapitre d'ouvrage
hal-02407886v1
|
||
|
Approximate Loop UnrollingCF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
Communication dans un congrès
hal-02407868v1
|
||
|
From DSL Specification to Interactive Computer Programming EnvironmentSLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩
Communication dans un congrès
hal-02307953v1
|
||
|
Automatic generation of Truffle-based interpreters for Domain-Specific LanguagesThe Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Article dans une revue
hal-02395867v2
|
||
|
Correct-by-construction model composition: Application to the Invasive Software Composition methodInternational Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Communication dans un congrès
hal-03252267v1
|
||
|
Live Modeling in the Context of State Machine Models and Code GenerationSoftware and Systems Modeling, 2020, pp.1-44. ⟨10.1007/s10270-020-00829-y⟩
Article dans une revue
hal-02942374v1
|
||
|
Survey and analysis of DNS infrastructures[Research Report] CNRS. 2016
Rapport
hal-01407640v1
|
||
|
Bug ou ban ? Une Perspective Topologique sur le Shadow BanningALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
Communication dans un congrès
hal-02875595v1
|
||
|
Semantics of negative sequential patterns24 th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.1-7
Communication dans un congrès
hal-02481240v2
|
||
|
Model Transformation Reuse across Metamodels - A classification and comparison of approachesICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Communication dans un congrès
hal-01910113v1
|