Buscar
Mostrando ítems 51-60 de 151
Artículo
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
(Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This work presents a set of algorithms to improve the determination of all Minimal Hitting Sets. Our proposal ...
Ponencia
Localización de centros públicos atractivos y /o repulsivos
(Edición Digital @tres, 2002-06)
En este trabajo localizamos un centro de servicio en la Provincia de Sevilla en relación a unos puntos fijos atractivos o repulsivos, resolviendo el problema de Weber mediante algoritmos de ramificación y poda, de consistencia ...
Ponencia
OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes
(IEEE Computer Society, 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. Nowadays, business processes and in general service-based ones use other external services ...
Artículo
Combining Heuristics in Assembly Sequence Planning
(IOS Press, 2005)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan in a system with multiple assembly machines. The objective of the plan is the minimization of the ...
Artículo
Ponencia
A Semiquantitative Approach to Study Semiqualitative Systems
(Springer, 2002)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative knowledge. This qualitative information may be composed by: operators, envelope functions, ...
Artículo
Compliance validation and diagnosis of business data constraints in business processes at runtime
(Elsevier, 2015)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in a business process can be associated with flow elements or data stored. These data must satisfy the ...
Ponencia
Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration
(Linköping University, 2009)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business Collaboration (B2BC). This work presents a proposal to diagnose faulty activities in B2BC using choreography ...
Ponencia
FABIOLA: Towards the resolution of constraint optimization problems in big data environment
(Association for Information Systems (AIS), 2017)
The optimization problems can be found in several examples within companies, such as the minimization of the production costs, the faults produced, or the maximization of customer loyalty. The resolution of them is a ...
Ponencia
Automatic Semiqualitative Analysis: Application to a Biometallurgical System
(Springer, 1998)
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented by means of qualitative operators and envelope functions. A semiqualitative model is transformed ...