Skip to Main content Skip to Navigation
Journal articles

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 [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
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
Complete list of metadatas
Contributor : Arnaud Legrand <>
Submitted on : Friday, February 15, 2013 - 11:09:53 AM
Last modification on : Friday, July 17, 2020 - 11:10:23 AM


  • HAL Id : hal-00788766, version 1



Ihab Sbeity, Brigitte Plateau, Mohamed Dbouk. Stochastic Bounds for Microprocessor Systems Availability. International Arab Journal of Information Technology, Colleges of Computing and Information Society (CCIS), 2011, 8. ⟨hal-00788766⟩



Record views