Search Results for "software auth program"

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

GLOB allows OpenGL programmers to create a variety of 3D meshes ranging from spheres, cubes and cyliders to NURBS and extrusions. GLOB compiles under Windows, Linux-based OSs and MAC. The library is compatible with OpenGL 4.0+ and doesn't use any deprecated features. 4 attrributes: 4D color, 3D normal, 3D position and 2D texture coordinate are stored per vertex in VAO (Vertex Array Objects). GLOB doesn't do any rendering to the screen and only builds the attributes for the mesh. Thus, the...

This program is used to create and solve queueing network models using Mean Value Analysis using a GUI front end and the WX widget library.

AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.

2D-GraLab is a program that is dedicated to automatically generating schematic representation of nonbonding interactions across the protein binding interfaces.

Source code template library for encapsulation of highly-visible program data. Provides storage, access control, and duplication. Enforces modular access pattern, restricting normal functions from object access. Also protects simple objects and POD.

LSystemBuilder is a program for editing and visualizing L-systems. LSystemBuilder makes it easy to explore fractals, FASS-curves and complex branching structures. Naturally LSystemBuilder comes packed with loads of predefined L-systems.

A graphical interface programming system allowing the visualization of code and capability to generate threaded code. The user constructs code segments using visual boxes. The program flow is represented as links between the boxes.