MM
  • Bio
  • Publications
  • Séminaires
  • Actualités
  • Expérience
  • Projets
  • Cours
  • Tutoriels
  • Partage
  • English
  • Publications
    • Towards new models of information sharing
    • Towards a secure data sharing management approach for IoT environments
    • Découverte de l'IoT au niveau applicatif: mise en œuvre de la SAÉ 203 du BUT R&T
    • Gouvernance des données basée sur le web sémantique
    • Translating Usage Control Policies to Semantic Rules: A Model using OrBAC and SWRL
    • IdSM-O: an IoT Data Sharing Management Ontology for Data Governance
    • Pour une gouvernance des données dans les environnements connectés
    • Données de l'IoT: le défi de la gouvernance
    • Qualité des données dans l'IOT: l'exemple de la Ville Intelligente (SmartCity)
    • Towards a data provenance model for private data sharing management in IoT
    • Enhanced IoT Data Sharing Management using semantic rule manager and Data Provenance
    • Data Controllability for Risk Management in Smart and Intelligent Systems
    • Information Security and Data Controllability for Collaborative Systems
    • IoT: maîtrise des flux d'information
    • Autodétermination informationnelle & bâtiments intelligents
    • Expérimentation de l'enseignement entre pairs dans le contexte R&T
    • Gestion proactive des obligations contractuelles
    • Qualification juridique informatisée des différents types de données
    • Du contrôle de la collaboration humaine vers des contrats de service sémantiques pour la sécurité de l'information
    • Un modèle sémantique de contrat et un processus basé sur la connaissance pour garantir la contrôlabilité dans les approches orientées services
    • Service Contracts: Beyond Trust in Service Oriented Architectures
    • Towards Security Software Engineering the Smart Grid as a System of Systems
    • Enseigner la virtualisation: mettre en œuvre le module M2102 Administration Système dans le Programme Pedagogique National DUT R&T 2013
    • Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems
    • Challenges in Security Engineering of Systems-of-Systems
    • The Systems-of-Systems Challenge in Security Engineering
    • Towards Modelling and Analysing Non-Functional Properties of Systems of Systems
    • Accords de niveau de service et modèle de réputation pour le contrôle d'usage
    • Métadonnées et Aspects Juridiques: Vie Privée vs Sécurité de l'Information
    • Gestion des risques dans les architectures orientées services
    • Gestion des Risques dans les Systèmes d'Information Orientés Services
    • Sécurité de l'Information dans les Environnements Inter-Organisationnels
    • Legal Issues about Metadata: Data Privacy vs Information Security
    • Information Security Risk Management in a World of Services
    • Information Security in Business Intelligence based on Cloud: A Survey of Key Issues and the Premises of a Proposal
    • Sécurité de l'Information, Métadonnées & Aspects Juridiques
    • Self-Protecting Documents for Cloud Storage Security
    • A Secure Autonomous Document Architecture for Enterprise Digital Right Management
    • A Multi-View Approach for Embedded Information System Security
    • Contrôle d'accès et vues multiples
    • An Access Control Model for Tree Data Structures
    • Un système coopératif basé sur les transactions
    • A Negotiation Model for CSCW
    • AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organizations
    • A transactional approach for cross-organizational cooperation
    • Cooperation models in co-design
    • DisCOO, a really distributed system for cooperation
    • Une architecture pour intégrer des composants de contrôle de la coopération dans un atelier distribué
    • A criterion to enforce correctness of indirectly cooperating applications
    • Cooperation models in co-design
    • Cooperation services for widely distributed applications
    • Supporting cooperation in project-enterprises
    • COO-serializability: A Correctness Criterion for Cooperative Executions
    • Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur
  • Blog
    • Soutenance de thèse Nouha Laamech
    • Soutenance de thèse Nouha Laamech
    • Stage BUT2 R&T 2024, sujet "Hack RF 433MHz"
    • RESILINK general meeting in Paris, France
    • Article à la conférence KES 2023, Athènes, Grèce
    • RESILINK general meeting in Rabat, Morocco
    • RESILINK promotional video is released !
    • Physical kick-off meeting of RESILINK in Alexandria, Egypt
    • 30 ans du site montois de l'IUT des Pays de l'Adour
    • Atelier "Défis pour l'IoT" à INFORSID 2022
    • RESILINK web site is up and running !
    • Ma thèse en 180 secondes
    • Transversalis: mobilité étudiante Andorre-UPPA
    • Ateliers des Convergences du Droit et du Numérique 2020
    • Offre de thèse CD40: "autodétermination informationnelle dans les bâtiments intelligents"
    • Bienvenue à NAOS
    • Coronavirus → report des CDN 2020
    • Convergences du Droit et du Numérique 2020
    • Convergences du Droit et du Numérique 2020
    • Pôle Aquinetic - nouveau CA
    • Convergences du Droit et du Numérique 2018
    • Portrait de votre serviteur dans le magazine XLandes
    • Convergences du Droit et du Numérique 2018
    • Convergences du Droit et du Numérique 2017
  • Tutoriels
    • HackRF
      • Stage BUT2 R&T 2024 - sujet "Hack RF 433MHz"
      • Hack RF 433MHz - premiers tests
    • IoT
      • Mise à jour vers openHAB 4.0.4
      • MQTT & Python
      • Open Data & Python
      • MQTT & Java
      • openHAB 3.0 - connexion à Open Weather Map
      • openHAB 3.0 - station météo Netatmo
      • openHAB 3.0 - envoi de l'état d'un item d'un groupe via MQTT
      • openHAB 3.0 - gestion de groupes d'Items
      • openHAB 3.0 - accès aux informations système
      • openHAB 3.0 - passerelle RFLink/RFXCom 433MHz
      • openHAB 3.0 - contrôle d'une prise connectée Z-Wave via MQTT
      • openHAB 3.0 - installation et configuration d'une prise connectée Z-Wave
      • openHAB 3.0 - mise à jour d'un item via des messages MQTT
      • openHAB 3.0 - accès à l'état d'un item depuis JavaScript
      • openHAB 3.0 - installation et configuration de périphériques Z-Wave
      • openHAB 3.0 - création d'un switch qui publie son état via des messages MQTT
    • Programmation
      • PHP
        • 1er site Web dynamique
          • Étape 1: Structure du site, données
          • Étape 2: 1er script PHP
          • Étape 3: 1er formulaire HTML
          • Étape 4: Injection SQL
          • Étape 5: Développement du site
          • Étape 6: Ajout de JavaScript
          • Étape 7: Un peu de style SVP
  • Projects
  • Experience
  • Activités d'enseignement
    • R207 - Sources de données
    • R208 - Analyse et traitement de données structurées
    • R209 - Initiation au développement Web
    • SAE203 - Mettre en place une solution informatique pour l’entreprise
    • R308 - Consolidation de la programmation
    • R309 - Programmation événementielle
    • SAE302 - Développer des applications communicantes
    • R512 - Analyse de risques
    • Stages BUT R&T 2024-2025 (Formation Initiale)
    • LP RT - Direction des Études
    • SSI - Sécurité des Systèmes Informatiques
    • SSI-SupTech - Sécurité des Systèmes Informatiques
    • R5D8 - Cybersécurité
    • Archives
      • Stages 2ème année DUT R&T 2021-2022 (Formation Initiale)
      • ASUR4 - Administration et sécurisation des services
      • Projet tutoré 2020-2021 - sujet "IoT & sécurité des informations"
      • Projet tutoré 2020-2021 - sujet "IoT & smart buildings"
      • Projet tutoré 2019-2020 - sujet "SDR & GPS spoofing"
      • Projet tutoré 2019-2020 - sujet "IoT & suivi des informations"
      • Projet tutoré 2018-2019 - sujet "domotique libre"
      • M1109 - Projet informatique
      • M2104 - Bases de données
      • M2105 - Web dynamique
      • M2207 - Consolidation des bases de la programmation
      • M4207C - Application informatique dédiée aux R&T
  • Projects
    • RESILINK
    • Autodétermination informationnelle
    • Anciens projets
    • BackPlan 2
    • FLUOR
  • Recherche
    • Autodétermination informationnelle
      • Introduction
      • Thèse Nouha Laamech
      • Qualité des données
      • Gouvernance des données
    • Activités de recherche
    • Thèses
      • Nouha Laamech (2024)
      • Elena Jaramillo (2016)
      • Vincent Lalanne (2013)
      • Manuel Munier (1999)
        • DisCOO
          • Présentation
          • Exemple support
          • Exécution pas à pas
        • PostDoc
    • Conference & Journal Ranks
    • Articles & Posters
      • FJC'2014 (EJ)
      • SARSSI'2013 (EJ)
      • SARSSI'2013 (VL)
  • Recent & Upcoming Talks
    • Droit des contrats - Sécurité informatique
    • Technologies de filtrage et de surveillance de l'Internet dans une entreprise

COO-serializability: A Correctness Criterion for Cooperative Executions

juin 1, 1997·
Pascal Molli
Manuel Munier
Manuel Munier
,
Gérôme Canals
,
François Charoy
,
Claude Godart
· 0 min. de lecture
Type
4
Dernière mise à jour le juin 1, 1997
Manuel Munier
Auteurs
Manuel Munier
Maître de Conférences HC en Informatique
← Supporting cooperation in project-enterprises juin 11, 1998
Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur sept. 7, 1994 →
Langues:
Français
English

© 2024 Manuel Munier. This work is licensed under CC BY NC ND 4.0

Publié avec Hugo Blox Builder — le générateur libre de site web gratuit permetant aux créateurs de s’épanouir.