Home My Page Projects Code Snippets Project Openings

Software Map

31 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>

Multiagent Control of Traffic Signals - My MSE project takes a Multiagent System approach to the Control of Traffic Signals (MACTS). In additional to control of the local intersection there will be a configuration which incorporates near neighbor coordination. The system will be designed with the intent of utilizing distributed cooperating agents. The system goals include minimizing the number of stops, reducing the amount of wait time, reducing travel time, increasing the average speed of travel, reducing fuel consumption and reducing the production of hydrocarbon emissions.

Register Date: 2012-02-01 23:35

Org Model for Adaptive Computational Sys - Organization Model for Adaptive Computational Systems

Register Date: 2008-09-25 14:55

PRiMO - <b>Predictable and Reliable Multiagent Organization<\b>
This project has not yet categorized itself in the Trove Software Map


Register Date: 2005-10-26 17:57

SAnToS - The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS Laboratory) conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2003-07-31 18:57

Set Permissions Script - Script used to dynamically manipulate permissions and ownership on files. Specification for file permissions can be set via commandline options for single files, or in a configuration file for batch operations.

Register Date: 2013-06-03 16:18

Sireum - Sireum software analysis platform

Register Date: 2008-07-10 14:30

Software Model Checking - Software Model Checking course

Register Date: 2008-08-20 13:22

SpAda - SpAda is an Eclipse plug-in for developing applications in SPARK -- a subset of Ada for high assurance applications developed by Praxis High Integrity Systems. SpAda provides integrated support for the Praxis SPARK Examiner -- a static checking tool that enforces very coding rules and information flow requirements. SpAda is integrated with AdaCore's GNATBench Eclipse plug-in for Ada. Future versions of SpAda will provide advanced analysis capabilities to aid developers in constructing information flow specifications based on SPARK's "derives" annotations. Our ultimate vision involves extending SpAda so that it becomes an integrated development environment that specifically targets development of information assurance applications in SPARK.

Register Date: 2008-04-08 15:58

Spec Patterns - Property specification for finite-state verification.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2003-11-07 20:01

SpEx - Specification Extensions for Bogor

Register Date: 2003-09-19 17:00

SyncGen - Automatic synchronization code generation
This project has not yet categorized itself in the Trove Software Map


Register Date: 2003-07-01 20:50

31 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>