Results 211 to 220 of about 1,146,930 (260)
Some of the next articles are maybe not open access.
Operation-based conflict detection
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010In recent years, models are increasingly used throughout the entire lifecycle in software engineering projects. In effect, the need for collaboration and for management of change on these models emerged. Traditionally, Software Configuration Management (SCM) systems are employed to facilitate collaboration on software engineering artifacts and to ...
Maximilian Koegel +3 more
openaire +2 more sources
Detecting Conflicts in Commitments
2012Commitments are being used widely to specify interaction among autonomous agents in multiagent systems. While various formalizations for a commitment and its life cycle exist, there has been little work that studies commitments in relation to each other.
Akin Günay, Pinar Yolum
openaire +2 more sources
A Chatbot for Conflict Detection and Resolution
2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), 2019We present Sayme, a chatbot that we are developing to address the detection and resolution of potential code conflicts that may arise in parallel software development. Sayme is designed to operate both proactively, informing developers when they engage in activities that create conflicting changes, and reactively, responding to user inquiries regarding
Elahe Paikari +10 more
openaire +2 more sources
Transversal Policy Conflict Detection
2012Declarative policies are a common means to manage the security of complex IT environments and they belong to different, heterogeneous classes (access control, filtering, data protection, etc.). Their enforcement requires the selection and configuration of appropriate enforcement mechanisms whose dependencies in a given environment may result in ...
Casalino M.M., Plate H., Trabelsi S.
openaire +1 more source
Detection of Conflicting Compliance Rules
2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops, 2011Web-based dynamic systems and pressured business environments need more than ever formal methods to analyze evolving compliance rules. Providing adequate tools to tackle the problem of debugging conflicting temporal compliance rules is an ongoing research topic.
François Hantry +2 more
openaire +2 more sources
Formal correctness of conflict detection for firewalls
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a firewall access rule and of an access request to a firewall. Formally, two rules are in conflict if there exists a request on which one rule would allow access and the other ...
Venanzio Capretta +3 more
openaire +2 more sources
Is consciousness necessary for conflict detection and conflict resolution?
Behavioural Brain Research, 2013Is conflict control dependent on consciousness? To answer this question, we used high temporal resolution event-related potentials (ERPs) to separate conflict detection from conflict resolution in a masked prime Stroop task. Although behavioral interference effect was present in both the masked and unmasked conditions, the electrophysiological findings
Qinglin Zhang, Baoxi Wang, Ling Xiang
exaly +3 more sources