Stochastic Bounds for Microprocessor Systems Availability

Ihab Sbeity 1 Brigitte Plateau 1 Mohamed Dbouk
1 MESCAL - Middleware efficiently scalable
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency is not still well handled in the current software environments. This is due to the algorithmic and language limitations of the tools developed to handle the consistency constraints. The idea of this paper is to tackle this problem by exploiting constraint programming which is proved to be efficient and provides various techniques to handle many types of constraints on different domains.
Type de document :
Article dans une revue
IAJIT- International Arab Journal of Information Technology, Zarqa University, 2011, 8
Liste complète des métadonnées

https://hal.inria.fr/hal-00788766
Contributeur : Arnaud Legrand <>
Soumis le : vendredi 15 février 2013 - 11:09:53
Dernière modification le : mercredi 11 avril 2018 - 01:53:42

Identifiants

  • HAL Id : hal-00788766, version 1

Collections

Citation

Ihab Sbeity, Brigitte Plateau, Mohamed Dbouk. Stochastic Bounds for Microprocessor Systems Availability. IAJIT- International Arab Journal of Information Technology, Zarqa University, 2011, 8. 〈hal-00788766〉

Partager

Métriques

Consultations de la notice

213