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.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-00788766
Contributor : Arnaud Legrand <>
Submitted on : Friday, February 15, 2013 - 11:09:53 AM
Last modification on : Thursday, October 11, 2018 - 8:48:02 AM

Identifiers

  • 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〉

Share

Metrics

Record views

242