Implementing graph algorithms efficiently in a rule-based language is challenging because pattern matching expensive. In this paper, we present number of linear-time implementations GP 2, an experimental programming based on transformation rules which aims to facilitate program analysis and verification. We focus two classes programs: reduction programs check some property, using depth-first se...

Predicting different behaviors in computer networks is the subject of many data mining researches. Providing a balanced Intrusion Detection System (IDS) that directly addresses the trade-off between the ability to detect new attack types and providing low false detection rate is a fundamental challenge. Many of the proposed methods perform well in one of the two aspects, and concentrate on a su...

A hybrid algoritm to find the absolute extreme point of a multimodal scalar function of many variables is presented. The algorithm is well suited to be implemeted in parallel over a distributed computer environment. The algorithm is suitable when the objective function is expensive to compute, the computation can be affected by noise and/or partial derivatives cannot be calculated. The method u...