Search Results for "computer system optimization"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher.

DnrDALMAS is a Prolog module intended to be a general-level Prolog implementation of the abstract DALMAS (Deontic Action-Logic based Multi-Agent System) architecture. A DALMAS is regulated by a normative system based on an algebraic version of the theory of normative positions. For more information about dnrDALMAS, see the following technical report: Hjelmblom, M. (2008). Deontic action-logic multi-agent systems in Prolog. University of Gävle, Division of Computer Science; University of Gävle. http://urn.kb.se/resolve?...

Computer Security Model Implementations for Computer Science Graduate Students and Researchers. Implementations include the Take-Grant Protection System and a Self-Organized Critical (SOC) Lattice Model for malware behavior.

YANDES - Yet Another Natural Deduction System

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.

The project will integrate viable aspects of the semantic web technologies for use with advanced Semantic SQLCLI based XML DBMS. The purpose of this project is develop a GUI Application for a Suite of ECM Services.