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>

AAAI-Robotics - This project is the repository for code developed at KSU for the purpose of the AAAI Robot Challenge
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-01-24 22:29

agentTool - An Eclipse-based integrated design environment to help users analyze, design, and implement multiagent systems.

Register Date: 2005-10-28 21:03

Arana - Arana provides a framework and static analysis checks to help ensure quality Java software.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2005-03-12 15:55

ArchiveCrawler - ArchiveCrawler is a heavyweight web crawler that is based on the Heretrix project by the Internet Archive (makers of the Wayback Machine).

Register Date: 2008-06-05 21:57

Bandera - Bandera is a toolset for providing verification and validation for developers of Java applications.

Register Date: 2003-04-23 14:52

Bandera Environment Generator - Bandera Environment Generator (BEG) enables modular model checking of Java fragments by generating universal environment models, synthesizing models from user specs, or extracting models from environment implementation.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2003-10-06 17:10

Bogor - Bogor is a highly customizable and modular model checking framework aimed to ease the development of robust and efficient domain-specific model checkers for verification of dynamic and concurrent software.

Register Date: 2003-04-27 02:11

Cadena - Cadena is an Eclipse-based extensible integrated modeling and development framework for component-based systems.

Register Date: 2003-04-24 17:34

CIS Makerspace - This is a one-stop shop for all your CIS Makerspace needs, including email distribution lists, project file storage, and more to come!

Register Date: 2013-08-28 10:23

Cooperative Robotics Organization Simula - The Cooperative Robotics Organization Simulator (CROS) allows users to test robot organization algorithms in a controlled environment. This simulator and its accompanying Organization Model was designed and developed at the Kansas State University Multiagent and Cooperative Robotics Laboratory as part of an NSF grant. The Cooperative Robotics Organization Simulator and Organizational Model provides a sophisticated framework for testing algorithms and applications of multi-agent optimization and structuring. The model defines the agent organization structure, along with the system goals, while the simulator computes the results of the experiments in pseudo real-time.

Register Date: 2008-09-25 14:50

Courses - The courses project will host all the course material for the various courses taught by the SAnToS Laboratory. This includes courses taught at KSU and UNL.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2004-08-03 18:17

FRAMES - FRAmework for Model-driven Event diStribution.

Register Date: 2003-07-03 18:43

Goal Model for Dynamic Systems - Goal Model for Dynamic Systems

Register Date: 2008-09-25 14:56

GudangBogor - Bogor Extension Repository
This project has not yet categorized itself in the Trove Software Map


Register Date: 2004-04-20 17:48

Human Robot Teams (HuRT) - HuRT: Human - Robot Teams HuRT is designed to allow human operators to control teams of cooperative robots at a variety of levels, which includes the organizational level.

Register Date: 2007-02-15 19:42

Indus - A program analysis and transformation toolkit for Java.

Register Date: 2003-06-28 00:34

JMLEclipse - This is an open project for a combined to effort to build an Eclipse plugin for JML that would handle all aspects: parsing, type checking, compilation and run time checking.

Register Date: 2003-12-15 21:00

KSUSNS - KSU Sensor Networks - The KSUSNS project is the central point of collaboration for all of our sensor network work. This includes contributions from many departments and colleges at KSU including the SAnToS lab, Dan Andresen, Gurdip Singh, and Scott DeLoach.

Register Date: 2006-11-10 17:44

LYE: High Performance SOAP - LYE is a high-performance SOAP implementation, incorporating multi-level object serialization caching and template-based XML response generation, while maintaining complete protocol compliance.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2004-12-17 05:05

Meth labs mappings and data mining - Google maps front end for the meth labs projects

Register Date: 2011-10-10 19:22

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