Coho is a reachability analysis platform for high-dimensional, nonlinear hybrid systems, especially for analog circuit verification.This tools has been applied to verify many circuits, including toggle, arbiter, flipflop, celement, oscillator, etc.
A native Java port of freesteam - http://freesteam.sourceforge.net/
An open source implementation of international-standard IAPWS-IF97 steam tables from the International Association for the Properties of Water and Steam (IAPWS).
OSGI4AMI Ontology (http://www.booksonline.iospress.nl/Content/View.aspx?piid=13894) describes devices properties and behavior. Several implementations will be available. Universidad de Zaragoza Java Interfaces Reference Implementation and osgi bundle
Executable program that measures sizes and other properties of colonies arrayed in a grid format (intended for 768, 384, or 96 colonies on agar plates) from jpeg images
JDynA is a JAVA library for the management of persistable object properties in a dynamic fashion. The structure of domain objects can be modified by adding, removing or altering properties, also via web UI, without need for any change in the database.
Out of the box JMX based management for J2EE systems. Comes with basic monitoring and event handling services, dynamic MBean proxy generation, and P2P JMX networking that can be customized and extended.
...It was a domain model framework to bind beans, XML and GUIs. Features include SAX input and output, XPath model querying, Swing integration and an OO property syntax (much better than C# properties!). See http://www.joda.org/joda-beans for the replacement project.
Joperties is an extension to the Properties class. It exists to solve a common problem with Properties (all Properties are Strings). Joperties allows you to set and get Java Objects without worrying about the transformation between String/Object.
A graphical viewer and editor that allows browsing and creating of "infopages". These infopages are xml pages structured according to a specification created specifcally for the IDTV platform
Visualize chromatographic properties for peptides from replicate, multi-site HPLC-MRM Mass Spectrometry experiments. RT Viewer was developed to easily visualize and troubleshoot chromatographic properties of a study across multiple laboratories.
Have quality JavaBeans with no effort. Specify beans and their properties in a simple XML and have the Java sources be generated - always correct, complete, and consistent. Build in Maven 2 supported. Released as Maven artifact - see project web site.
This Library helps to determine the performance of the Java code. it will help you to determine execution timings between method/statement calls, JDBC calls etc...
We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.
The PDF Form Generator module currently works with properties files only, but additional formats (such as csv, xml, tab delimited etc) will soon be supported.
Program converts HTML pages into LaTeX format. Own mappings between HTML tags and character entities can be defined. CSS formatting properties are also supported (including colours). Implemented in Java.
A system that continually explores the Mandalbrot set to provide patterns for a screen saver. The system uses a hexagonal coordinate system for interesting properties and challenge.
Manages Java application/tool options. Options are mapped to Java Bean properties using annotations. Options can be loaded from command line arg String[] array, an XML file, or a java properties file. Help texts can be generated.
...You can launch, stop and configure Tomcat and MySQL easily and particularly you don't need any special knowledge to use it. You can monitor the servers and view statistics of important properties.