A Harmony Search Based Algorithm for Detecting Distributed Predicates
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2012, Vol 3, Issue 10
Abstract
Detection of distributed predicates (also referred to as runtime verification) can be used to verify that a particular run of a given distributed program satisfies certain properties (represented as predicates). Consequently, distributed predicates detection techniques can be used to effectively improve the dependability of a given distributed application. Due to concurrency, the detection of distributed predicates can incur significant overhead. Most of the effective techniques developed to solve this problem work efficiently for certain classes of predicates, like conjunctive predicates. In this paper, we have presented a technique based on harmony search to efficiently detect the satisfaction of a predicate under the possibly modality. We have implemented the proposed technique and we have conducted several experiments to demonstrate its effectiveness.
Authors and Affiliations
Eslam Maghayreh
Keywords
Related Articles
- EP ID EP151025
- DOI -
- Views 104
- Downloads 0
Experimental Study of Spatial Cognition Capability Enhancement with Building Block Learning Contents for Disabled Children
In this research, we develop learning teaching materials using building blocks for children with disabilities, and verify learning effect. It is important to prepare input equipment according to children with disabilitie...
Liver Extraction Method from Magnetic Resonance Cholangio-Pancreatography (MRCP) Images
Liver extraction from medical images like CT scan and MR images is a challenging task. There are many manuals, Semi-automatic and automatic methods available to extract the liver from computerized tomography (CT) scan im...
Balanced Distribution of Load on Grid Resources using Cellular Automata
Load balancing is a technique for equal and fair distribution of workloads on resources and maximizing their performance as well as reducing the overall execution time. However, meeting all of these goals in a single alg...
CluSandra: A Framework and Algorithm for Data Stream Cluster Analysis
The clustering or partitioning of a dataset’s records into groups of similar records is an important aspect of knowledge discovery from datasets. A considerable amount of research has been applied to the identification o...
An Adaptive Solution for Congestion Control in CoAP-based Group Communications
The use of lightweight devices and constrained resources like Wireless Sensors Network (WSN) makes patterns traffic in the Internet of Things (IoT) different from the ones in conventional networks. One of the most emergi...