The easiest C++ way to deal with constraints !
Actor based programming using WCF and async-await.
Remote Method Invocations over WebSockets
Web-based editor for the Gateway Description Language (GDL).
SaaS for running simulation models in the cloud
Provenance in NetLogo
Tool for Assertion-based Dynamic Verification of SystemC models
N point alignment infrastructure for INDI telescope drivers
iAIDA is a C++ implementation of the AIDA interfaces.
Semantically enriched WSDL 2.0 descriptors for BioMoby services
Java/Android library for port mapping on UPnP routers
OctopusNet - SAT>IP Server with various possibilities
A framework for simulating the spread and control of animal diseases
Knowledge-Based Simulation
Image-based Vascular Analysis Toolkit
Lightweight Architecture for boundedly Rational Agents