Examples Of Expert Systems
ERepSim presents an agent-based cloud simulation environment integrating electronic institutions from multiagent research to simulate Internet-of-Services systems.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 1.96 MB | Download (50): eRepSim Download |
JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs).
Platforms: Windows, Mac, Linux
License: Freeware | Size: 428.2 KB | Download (45): JReliability Download |
POSH dynamic plans are technique for implementing Behaviour Oriented Design action selection for the control of intelligent systems. This is a Jython implementation. See http://www.cs.bath.ac.uk/~jjb/web/pyposh.html for a fuller description.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 1.69 MB | Download (46): jyPOSH Download |
Laika analyzes and reports on the interoperability capabilities of EHR systems. This includes the testing for certification of EHR software products and networks.
Platforms: Windows, Mac, BSD, Linux
License: Freeware | Size: 10.13 MB | Download (49): LAIKA: EHR Testing Framework Download |
Lobo is a tool for tracking performance designed to register as the performance of your systems evolve. It is especially useful if you employ agile practices, because its code and its architecture evolve.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 56.88 KB | Download (48): Lobo - Continuous Tuning Download |
The Moses Tool Suite is a collection of tools for visual modeling, simulation, analysis, synthesis, and visualization of computational systems.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 4.76 MB | Download (49): Moses Tool Suite Download |
Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 12.1 MB | Download (46): Narrator - A graph-based modelling tool Download |
This project contains a SIP stack and server applications built on top of the stack, examples of which are: Stateless Proxy, Registrar,NAT Keepalives,MWI Notifier server. The server applications have been designed to work in association with Asterisk.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 1.28 MB | Download (46): Obelisk SIP Proxy Download |
OpenMonet is a distributed, flexible monitoring tool developed in Erlang, suitable for network monitoring, host performance tracking, and for the instrumentation of complex systems.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 21.11 KB | Download (49): OpenMonet Download |
The OptControlCentre (OCC) is an user-friendly software package for the optimization of dynamic systems in energy and chemical engineering. Optimization methods include SQP methods as well as a stochastic approach using Simulated Annealing.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 4.45 MB | Download (56): OptControlCentre Download |
Project Cimrman (named after the Teacher of Czech people ;) is aiming at the creation of the platform for the quick and easy development of educational systems. Right now seems to be DEAD.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 300.42 KB | Download (49): Project Cimrman Download |
This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...
Platforms: Windows, Mac, Linux
License: Freeware | Size: 6.65 MB | Download (44): PyDSTool Download |
Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks.Project web page: http://www.littleb.org
Platforms: Windows, Mac, Linux
License: Freeware | Size: 781.8 KB | Download (44): the little b modular modeling language Download |
TuCSoN (Tuple Centres Spread over the Network) is a tuple-based infrastructure for the coordination of distributed systems - including multi-agent systems, mobile agents and pervasive systems.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 2.02 MB | Download (48): TuCSoN Download |
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using Mantis (reachable via 'Hosted Apps')
Platforms: Windows, Mac, Linux
License: Freeware | Size: 20.75 MB | Download (45): USE: UML-based Specification Environment Download |
A collection of demos, with source code, demonstrating advanced examples of web programming.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 1.53 MB | Download (48): Web Demos Download |
YAKINDU is a tool kit for model based development of embedded systems and is completely bases on Eclipse technologies. It applies state charts, block systems, and component models. It includes graphical editors, simulators and code generators.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 298.66 MB | Download (50): yakindu Download |
Genre: Puzzle & Trivia
About Super Jigsaw Butterflies
The butterfly is one of nature s most glorious examples of beauty and transformation, and is now available in a GameHouse Jigsaw collection. Each of the fifty colorful images in this collection contains a unique image of an exotic butterfly....
Platforms: Mac
License: Demo | Cost: $0.00 USD | Size: 3.9 MB | Download (49): Super Jigsaw Butterflies Download |
ecto is a feature-rich desktop blogging client for MacOSX and Windows, supporting a wide range of weblog systems, such as Blogger, Blojsom, Drupal, MovableType, Nucleus, TypePad, WordPress, and more. ecto is the successor of the wildly popular Kung-Log. With ecto you can write and manage entries...
Platforms: Mac
License: Shareware | Cost: $17.95 USD | Size: 3.5 MB | Download (54): ecto 2.2 Download |
Verifying and validating embedded systems comprising software and electronics is a daunting challenge, given the increasing complexity of these systems and the need to meet tight schedules. Aerospace, automotive, communications, mechatronics, and other organizations solve this challenge by...
Platforms: Matlab
License: Freeware | Size: 225.28 KB | Download (46): MATLAB and Simulink in the World: Verification and Validation Download |