Search
Now showing items 161-168 of 168
Article
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
(Association for Computing Machinery (ACM), 2006)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that diagnoses errors in software is proposed. This is based on the combination of Design by ...
Presentation
Process Instance Query Language to Include Process Performance Indicators in DMN
(IEEE Computer Society, 2016)
Companies are increasingly incorporating commercial Business Process Management Systems (BPMSs) as mechanisms to automate their daily procedures. These BPMSs manage the information related to the instances that flow ...
Presentation
Tools for Address-Event-Representation Communication Systems and Debugging
(Springer, 2005)
Address-Event-Representation (AER) is a communications protocol for transferring spikes between bio-inspired chips. Such systems may consist of a hierarchical structure with several chips that transmit spikes among them ...
Article
A survey using constraints to decision-making for fault tolerance in Business processes
(Science and Engineering Research Support Society (SERSC), 2010)
Sometimes the business processes do not work how it is expected. In these cases, a diagnosis process has to be executed to determine the responsible activity or activities of the fault in order to substitute it or them ...
Chapter of Book
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems
(Springer, 2013)
A business process consists of a set of activities that are performed in coordination in an organizational and technical environment (Weske 2007). The base of business process management systems (BPMS) is the explicit ...
Presentation
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems
(Springer, 2005)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be considered as numeric constraint satisfaction problems (NCSP). Many models are symmetrical NCSP. ...
Presentation
Supervised TextRank
(Springer, 2006)
In this paper we investigate how to adapt the TextRank method to make it work in a supervised way. TextRank is a graph based method that applies the ideas of the ranking algorithm used in Google (PageRank) to Natural ...
Article
Improved biclustering on expression data through overlapping control
(Emerald, 2009)
Purpose – The purpose of this paper is to present a novel control mechanism for avoiding overlapping among biclusters in expression data. Design/methodology/approach – Biclustering is a technique used in analysis of ...