Search Results for "java framework" - Page 2

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.

Thank you for your interest in Speedy Composer. Speedy Composer is an automated application for composing melodies for Speedy Net members. We recently made changes to the source code of Speedy Net, and converted it into the Python language and Django framework. Since Speedy Composer was originally written in PHP, it is not adapted to work with Speedy Net in its current form. So unfortunately we were forced to temporarily close the app Speedy Composer. But don't worry, we kept backups of all...

The **libmsgque** project is an infrastructure that allows multiple package-items to be linked together to act as one application. To link, you need to distribute the work from one package-item to another package-item and wait for an answer or not. > Philosophy: Write Once → Run Everywhere The package-item can be a thread, a separate local process that is started by fork or spawn, or even a network of multiple services on multiple hosts. The package-item can be written in any...

Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.

Java version of Dialogic's SwitchKit API. This API is actually a more "Java Centric" API, with listeners, filters, and a very extensible and modular framework that finally uses JNI to access the native libraries provided by Dialogic.

PHP Work is a rapid application-framework-level modules management framework.

Open Legacy Storage Document: Generic Document Archiving on Disk and Network(using MINA) Framework in Java for huge number of docs(up to 2^192 documents), efficient(Java NIO), crypto, net transfert, web retrieve, J2EE and eMail archiving compatible.

RUNES is a cross-platform, component-based middleware framework allowing for dynamic reconfiguration of functionality. Its lightweight implementation spans powerful nodes like PDAs and PCs, as well as tiny embedded devices.

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.

A framework in which IHE's XDS, ATNA, CT and PIX profiles work together. ATNA, CT and PIX Profiles are implemented and the open source implementation of IHE XDS Registry and Repository http://sourceforge.net/projects/iheos is customized.

Powerful PHP IDE/Editor. Automatically generates code for your scripts, based on our own PHP Framework. Can create projects, full class/function breakdown. Supports PHP 5x. Under active alpha development (as of Feb 06), subversion repository for latest.

CANNOT - Coyote Annotation. This framework was developed in JAVA and its API's facilitates to the reuse of code and the sharing of information through to the architecture in layers and standard ISO MPEG-7 used for the Digital Video Content Annotations..

JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.

The Network Security Response Framework (NSRF) allows for testing different computer security response engines and methodologies. It supports simulated and real: Intrusion Detection Systems (sensors), Attacks, and Responses.

Framework for software component integration, interoperability and adoptability through a XML based vocabulary: Software Component Integration Mark-up Language (SCIML)

python enteprise integration framework project. Powerfull class library based on EAI patterns and a modeling and simulation tool.

Doors is groupware for electronic musicians. It aims to be an extensible, multi-user, musical performance framework which unifies heterogeneous, distributed multimedia hardware. The framework is based on CORBA, XML, NTP and URL technologies.

An automated system adminstration framework for any *nix operating system. Automated package and configuration management are supported.

A framework allowing java servlet-based webapps to be easily deployed as cross-platform desktop applications. Uses GTK, Mozilla, and GCJ.

DynAMITE - a software framework for dynamic adaptive multimodal IT ensembles.

C Tasks consists of Ant tasks that invoke C/C++ development tools. The tasks are based on the very general CC task from Ant Contrib project on SourceForge. A framework for applying XSL transforms to buildfiles to target different systems is provided.

leJOSUnit is a port of the Java based JUnit framework for testing robotic programs with a very small footprint. leJOS is a Java based replacement firmware (OS) for the LEGO Mindstorms RCX brick that comes with Lego\'s Robotics Invention System.

JNDirect is a library that supports JDirect-compatible native methods and method closures. JNIDirect automatically generates (at runtime) JNI native method glue for anything exported from a Mac OS X framework -- functions AND global variables.

Adaptations From the Avalon/JXTA World<br> a) James-JXTA (p2p email system) <br> b) IM on JXTA (Jabber)<br> c) JXTA Implementation on Avalon Framework <br>

Framework for massive parallel tests. Distributed machines are connected to ONE network of clients. Central controller GUI (written in Java)