Search Results for "linux-secure"

The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.

Designed for Zen Cart versions 1.3.X & 1.5 Picaflor Azul's free zen cart templates are a fantastic way to quickly add a professional design to your ecommerce store. All template packages include the admin settings needed to make the template look like the demo, template files, and a detailed installation file with links to videos and written tutorials of all steps. Our templates are compatible with all stable zen cart addons/modules/plugins and have been tested on versions 1.3.8a through...

Strasheela is a constraint-based music composition system. The user defines music theories by sets of compositional rules and the system creates music which complies with these theories. User-interface is the programming language Oz.

Artica Load-Balancer is load balance and fail over appliance for TCP based services. it is usable for HTTP(S), SSH, SMTP, DNS, etc.. This appliance is typically located between network clients and a farm of servers. It designed to dispatches client requests to servers in the farm so that processing load is distributed.

ChiOz is a set of Oz 3 functors that provide various useful modules. ChiOz is currently dead.

This project pretends solved Distributed Constraint Satisfaction Problems (Dis-CSP) using Mozart-OZ. Asynchronous Backtracking algorithm will be implemented.