Showing page 1 of 1.

• 
  DRAKON Editor

  A free cross-platform editor for the DRAKON visual language.

  304 weekly downloads
• 
  Grid Network Simulation using NS2

  This project documents the development of a suite of ns2 grid network simulators that was done as part of the EC-GIN project. The aim is to refine and develop these simulators to provide input to the larger ns2 and grid simulation community.

  20 weekly downloads
• 
  EcoLab

  EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.

  7 weekly downloads
• 
  The PEP tool

  PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

  6 weekly downloads
• 
  Knowledge Markup Language (KML)

  KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.

  2 weekly downloads
• 
  eXtensible Abstract State Machines

  The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematicalmachine.

  1 weekly downloads
• 
  OSSAMS

  Open Source Security Assessment Management System

  0 weekly downloads
• 
  VulcanDepot Environment

  The 3d Default: One computer room, a utility room, and living space, optional outdoors. The computer room should simulate. Utility-room: 3d-designed actions. Living space for designs andor avatar use.

  0 weekly downloads