Results 221 to 230 of about 1,074,730 (257)
Some of the next articles are maybe not open access.
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.
Akın Günay, Pınar Yolum
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.
Hantry, François +2 more
openaire +1 more source
Conflict graph based Community Detection
2016 8th International Conference on Communication Systems and Networks (COMSNETS), 2016Community is a network's subgraph where vertices share similar properties and reflect interesting characteristics for understanding complex networks more closely. Therefore, community structure analysis is important in understanding and exploring complex networks and helps in describing relationship among nodes in a network.
Priti Singh +2 more
openaire +1 more source
Detecting Semantic Conflicts via Automated Behavior Change Detection
2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020Branching and merging are common practices in collaborative software development. They increase developer productivity by fostering teamwork, allowing developers to independently contribute to a software project. Despite such benefits, branching and merging comes at a cost—the need to merge software and to resolve merge conflicts, which often occur in ...
Leuson Da Silva +4 more
openaire +1 more source
Detecting conflicts between structure accesses
ACM SIGPLAN Notices, 1988Two references to a record structure conflict if they access the same field and at least one modifies the location. Because structures can be connected by pointers, deciding if two statements conflict requires knowledge of the possible aliases for the locations that they access.
J. R. Larus, P. N. Hilfinger
openaire +1 more source
Detecting Speech Interruptions for Automatic Conflict Detection
2015This contribution is in the field of automatic detection of conflict in group discussions from voice analysis. A reliable detector of conflict would be useful for many applications, such as security in public places, the quality of customer services, and the deployment of intelligent agents.
Marie-José Caraty, Claude Montacié
openaire +1 more source
Conflict Detection and Resolution
2012Conflicts in teamwork manifest themselves in ALICA in conflicting task allocations. Each agent maintains a set of beliefs for each plan it participates in, which represents the assignment of agents to tasks within that plan.
openaire +1 more source
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 ...
Capretta, Venanzio +3 more
openaire +2 more sources
SMS conflict detection traffic light
2015 IEEE Conference on Energy Conversion (CENCON), 2015Damage to the traffic light is normal. However, this can lead to the hassle and unsafe situation to road users. This project is creating a new paradigm in the monitoring system of traffic lights. This system has the ability to send multiple SMS to the contractor, the traffic police and local council if faulty traffic lights. Normally, road users has to
R. Mohamad Idris +4 more
openaire +1 more source
Deception Detection in Cyber Conflicts
International Journal of Cyber Warfare and Terrorism, 2016Deception is a strategy that has been widely used in cyber conflicts. How to detect deception in a timely manner is always a challenge, especially for a cyber commander who is at the point of making decisions with respect to the actual target to go after, the exact location of the target, the starting and ending time of a cyber operation, the type of ...
openaire +1 more source