Skip to Main content Skip to Navigation
New interface
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 - 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
Complete list of metadata
Contributor : Arnaud Legrand Connect in order to contact the contributor
Submitted on : Friday, February 15, 2013 - 11:09:53 AM
Last modification on : Wednesday, July 6, 2022 - 4:13:04 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, 2011, 8. ⟨hal-00788766⟩



Record views