Java based Batch scheduling, processing and monitoring framework
A set of powerful tools to perform TDD on MAS based on JADE
Framework for Hierarchical Graph Decomposition
We have moved to https://linksmart.eu - visit us over there!
A simulation environment for physiology models simulation
Dataflow parallel programming language for clusters
JBernstein: Exploration techniques for non-linear constraint checking
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
Static analyzer for Java bytecode