Keywords
Corpus
Crin
Racine
Corpus
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin)

Index « Keywords » - entrée « consistency »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
consistance globale < consistency < consistency proofs  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11. **** probable Xml problem ****
Ident.Authors (with country if any)Title
000252 (1986) R. Mohr ; T. HendersonArc and Path Consistency Revisited
000A66 (1990) W. BousdiraEtude des propriétés des systèmes de réécriture conditionnelle. Mise en oeuvre de deux algorithmes de test de confluence sur les termes clos.
001109 (1993) J.-P. ThomesseLe réseau de terrain FIP
002303 (1998) Gérôme Canals ; Claude Godart ; François Charoy ; Pascal Molli ; Hala SkafCOO Approach to Support Cooperation in Software Developments
002326 (1998) Hala Skaf ; François Charoy ; Claude GodartFlexible Integrity Control of Cooperative Applications
002475 (1999) Hala Skaf ; François Charoy ; Claude GodartMaintaining Shared Workspaces Consistency during Software Development
003232 (2002) Pascal Molli ; Hala Skaf-Molli ; Gerald OsterDivergence Awareness for Virtual Team through the Web
003F47 (2004) Ninh Thuan Truong ; Jeanine SouquièresConsistency checking of UML static diagrams using B
003F52