159,766 Hits in 5.3 sec

An Extended ACL for Solving Authorization Conflicts

Chisong Li, Zhensong Liao
2009 2009 Second International Symposium on Electronic Commerce and Security  
We present a model-based transformation approach to solve conflicts among configurations performed by different stakeholders on feature models.  ...  These specifications along with the stakeholders' configurations and the feature model are transformed into a constraint programming problem, on which decision rules are executed to find a non-conflicting  ...  Acknowledgments The authors would like to thank Jaime Chavarriaga, Kelly Garcés, and Juliana Alves Pereira for their useful feedback.  ... 
doi:10.1109/isecs.2009.164 fatcat:5zdmoraulrd53bkatqc4srngpq

The Conflict-Driven Answer Set Solver clasp: Progress Report [chapter]

Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009 Lecture Notes in Computer Science  
We summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp.  ...  enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, such as cautious and brave reasoning, optimization, solution projection, and incremental solving  ...  Furthermore, they allow for solving under assumptions [17] ; an important feature that is, for example, used in our parallel ASP solver claspar [18] .  ... 
doi:10.1007/978-3-642-04238-6_50 fatcat:p3svekro2vfnziln2udpclsequ

Distributed Cognition Learning in Collaborative Civil Engineering Projects Management [chapter]

Jaume Domínguez Faus, Francisco Grimaldo
2012 Advances in Intelligent Systems and Computing  
If a high-quality design is desired, these conflicts need to be detected and solved.  ...  We present a Multiagent system able to manage these design conflicts by detecting them, by assisting the engineers in the negotiation of solutions, and finally by learning how to solve future similar problems  ...  Erik Kjems from the AAU for his help without which this paper would not be possible.  ... 
doi:10.1007/978-3-642-30864-2_8 fatcat:um6apo6zebf5hhgjlmuybwel2q

Multiagent System for Detecting and Solving Design-Time Conflicts in Civil Infrastructure [chapter]

Jaume Domínguez Faus, Francisco Grimaldo, Fernando Barber
2012 Advances in Intelligent and Soft Computing  
In this paper, we present a multi-agent system that, thanks to the use of ontologies and rules on those ontologies, is able to detect profilespecific conflict situations and solve them according to the  ...  The conflict solving is based on the Multi Agent Resource Allocation (MARA) theory.  ...  Erik Kjems from the AAU for his help without which this paper would not be possible.  ... 
doi:10.1007/978-3-642-28795-4_7 dblp:conf/paams/FausGB12 fatcat:fcgpjbcdqrcx7ai4ik7rq3crzi

Automated Diagnosis of Product-Line Configuration Errors in Feature Models

J. White, D.C. Schmidt, D. Benavides, P. Trinidad, A. Ruiz–Cortés
2008 2008 12th International Software Product Line Conference  
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints.  ...  These results show that our technique scales to models with over 5,000 features, which is well beyond the size used to validate other automated techniques. we present a technique for transforming a flawed  ...  First, we extend the CURE model to associate a cost variable, b i ⊂ B, with each feature in the feature model.  ... 
doi:10.1109/splc.2008.16 dblp:conf/splc/WhiteSBTC08 fatcat:6jui5k3icjaavjgdhp4rbpb3he

Structured Model Representation of Manufacturing Processes Using Petri Nets and Knowledge Based Tools [chapter]

L. Horváth, I. J. Rudas, L. M. Camarinha-Matos
1996 IFIP Advances in Information and Communication Technology  
Petri net formalism has been chosen for representating process features. Process features are attached to feature based model entities of mechanical parts.  ...  In this paper an approach to manufacturing processes modeling and knowledge based decision making at manufacturing process planning is proposed.  ...  Acknowledgements We thank the Hungarian-Portuguese intergovernmantal cooperation programme for partial support to this work.  ... 
doi:10.1007/978-0-387-35065-3_47 fatcat:dztgynzpo5fdbghj6spbpox7oq

XML Data Fusion [chapter]

Frantchesco Cecchin, Cristina Dutra de Aguiar Ciferri, Carmem Satie Hara
2010 Lecture Notes in Computer Science  
In this paper, we propose a model for XML data fusion, which allows the integrator to define data cleaning rules for solving value conflicts that may have been detected during the integration process.  ...  These rules resemble decisions that are made by users when data are manually curated and, once defined, conflicts detected in subsequent integration processes that are within the context of existing rules  ...  solving conflicts in real-world applications and for determining the cost of applying our rule-based cleaning policy.  ... 
doi:10.1007/978-3-642-15105-7_24 fatcat:jsua4wtx6bdeliv6yui6wqh7ey

A Comparative Analysis of the Social Graph Model and Multiparty Access Control Model for Online Social Networks

Gabriela Suntaxi-Oña, Vijay Varadharajan
2015 International Journal of Future Computer and Communication  
In recent years, with the growth of the Internet, the number of users of Online Social Networks (OSNs) has increase. Users use these systems to communicate and share information with each other.  ...  In order to protect the amount of data that is being shared in these systems and to avoid security and privacy issues, it is important to have an adequate Access Control Model.  ...  In fact, this parameter is used to solve conflict resolution problems.  In order to solve conflict resolution problems presented by multiparty access control policies, the model proposes a voting scheme  ... 
doi:10.18178/ijfcc.2015.4.5.404 fatcat:inqif4ueibg7dfnfpdchhftrwm

Optimal Decision Lists using SAT [article]

Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey
2020 arXiv   pre-print
In this paper, we show for the first time how to construct optimal "perfect" decision lists which are perfectly accurate on the training data, and minimal in size, making use of modern SAT solving technology  ...  Decision lists are one of the most easily explainable machine learning models.  ...  One advantage of the approach is that it is easy to customize, for example, favoring the use of certain features, or extending to cost-sensitive learning.  ... 
arXiv:2010.09919v1 fatcat:njthre6b6rhb5cjtfem5ftj6li

Job Shop Scheduling by Branch and Bound Using Genetic Programming

Katsumi Morikawa, Keisuke Nagasawa, Katsuhiko Takahashi
2019 Procedia Manufacturing  
To support the selection decision, several features of nodes are stored under the BB method, and the correct selection at each branching stage is informed by the mixedinteger linear programming model.  ...  To support the selection decision, several features of nodes are stored under the BB method, and the correct selection at each branching stage is informed by the mixedinteger linear programming model.  ...  Tsuruoka for exchanging ideas in scheduling job shops.  ... 
doi:10.1016/j.promfg.2020.01.359 fatcat:3w4amxudzvgchjhrkyeqqbpsn4

Satisfiability Modulo Theories and Assignments [chapter]

Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
2017 Lecture Notes in Computer Science  
In this paper we lift CDCL to CDSAT (Conflict-Driven Satisfiability), a system for conflict-driven reasoning in combinations of disjoint theories.  ...  In this paper we generalize conflict-driven reasoning to generic combinations of disjoint theories, solving the problem of combining multiple conflict-driven T i -satisfiability procedures into a conflict-driven  ...  Acknowledgments The authors thank Dejan Jovanović for fruitful discussions.  ... 
doi:10.1007/978-3-319-63046-5_4 fatcat:ruo4tye77nb3nfo2tx355lgax4

Automated diagnosis of feature model configurations

J. White, D. Benavides, D.C. Schmidt, P. Trinidad, B. Dougherty, A. Ruiz-Cortes
2010 Journal of Systems and Software  
A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules.  ...  Invalid SPL configurations can be created due to feature conflicts introduced via staged or parallel configuration or changes to the constraints in a feature model.  ...  Methods for Large Feature Models age solving time in the experiments.  ... 
doi:10.1016/j.jss.2010.02.017 fatcat:jo4qhunws5gtvaw6gc2asfofxm

Feature Models Preconfiguration Based on User Profiling

Ikram Dehmouch, Bouchra El Asri, Maryem Rhanoui, Mina El Maallam
2019 Computer and Information Science  
Feature modeling is used to express commonality and variability among a family of software products called the software product line.  ...  of a user profile model describing information about the user and the products he is used to consume.  ...  . , 2015) - - Business related decision rules applied on specific feature attributes. Model based transformation generating a CSP Problem solved using Choco solver.  ... 
doi:10.5539/cis.v12n1p59 fatcat:k55hjivnzffjnm63yht7prdnsu

Towards a framework for collaborative and coordinated product configuration

Marcilio Mendonca, Krzysztof Czarnecki, Toacy Oliveira, Donald Cowan
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
We provide insights on important coordination issues and introduce an algorithm to derive process models from annotated feature models to illustrate the approach's feasibility.  ...  This process is error-prone and risky as requirements may lead to conflicting decisions at configuration time.  ...  Finally, in SCIO (solve conflicts only if they occur), conflict resolution will only take place in the end of the process and only if there are conflicting decisions.  ... 
doi:10.1145/1176617.1176655 dblp:conf/oopsla/MendoncaCOC06 fatcat:itrljag4k5axvhwyu5i32oh2ry

A Dsmt Based Combination Scheme For Multi-Class Classification

Nassim Abbas, Youcef Chibani, Zineb Belhadi, Mehdia Hedir
2013 Zenodo  
This paper presents a new combination scheme for reducing the number of focal elements to manipulate in order to reduce the complexity of the combination process in the multiclass framework.  ...  Dezert for their valuable suggestions.  ...  Theoretic formulation of Proportional Conflict Redistribution (PCR6) combination rule and the way it can be extended for solving the multi-class classification problem are presented in Section III.  ... 
doi:10.5281/zenodo.34743 fatcat:vlbeujnb3jfdxcqs3s2a3jxgdu
« Previous Showing results 1 — 15 out of 159,766 results