Search Results for "mpeg-4" - Page 2

GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain...

An framework to allow developers to create modular applications from smaller, special-purpose programs. Access the API to communicate between processes in a structured system. Highly configurable, security a central theme, extensible, expandable.

Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.

The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.

AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

This project has moved to:https://sourceforge.net/projects/smpla/

SquidModel Projects - the research of the easy ways to assembly a SQUID proxy daemon in the POSIX systems. In the project uses a standart tools: Apache, MySQL, PHP, SAMBA.

cpp2dot parses c++ header files and generates a dot (graphviz) UML graph. It is based on the moc tool from the Qt SDK. Feel free to ask me anything about it (mail or Tracker, but preffer to post on my blog : http://www.libertesalternatives.org)

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

JDynA is a JAVA library for the management of persistable object properties in a dynamic fashion. The structure of domain objects can be modified by adding, removing or altering properties, also via web UI, without need for any change in the database.

Dinjam is an opensource, crossplatform (data) modeller especially intended for educational use. It is highly extensible through a sophisticated plugin mechanism.

UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.

AgilPro is an Eclipse based business process modeling suite providing a Business Process Modeler [LiMo - Light Modeler], a desktop application to preview and run processes [Simulator] and Application Adapters to plug in standard apps: Firefox, OpenOffice

Behavioural Hybrid Process Calculus (BHPC) simulation tool.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

ServiceComposer is a tool to develop composite Web services using the Model-Driven Architecture principles and UML 2 modeling language. More precisely, the modeling language used in a UML 2 profile called UML-S (UML for Services engineering). A class

DIA plugin for automatic UML Class Diagrams generation out of Java source files.

Simple TreeEditor for making hierarchical json files. Writen on Java-SWT. Tree orderable by dragging, editable by context menu. Have a simple edit panel, with name, and configurable type, and description textarea.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

This is an entity relationship diagram visualization widget programmed on QT4. With this tool you can draw objects (computers, people, whatever), and the relationship between them.