Search Results for "event"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

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...

DSOL is a full featured multi-formalism, distributed simulation environment developed at Delft University of Technology (The Netherlands). DSOL has support for discrete event and for continuous modeling. Formalisms supported are event scheduling, DEVS, flow-based simulation, and continuous modeling through sets of differential equations. The first release was introduced at IEEE's Winter Simulation Conference in 2002. Since then, numerous papers and PhD dissertations have been developed, with applications in the fields of transportation and traffic, logistics, supply chain management, gaming and training, health care, and many others.

...Mixed models partition mortality into exogenous and endogenous components, so that the intrinsic survivorship can be estimated without the interference from extrinsic noise. DeDAY supports both interval-censored data and exact event-time data. Using MLE (Maximum Likelihood Estimate), DeDAY fits statistic model to the data. DeDAY also calculates the variances and the multi-dimensional confidence limits of model parameters. DeDAY is free for academic users.

libQuest is a quest management library. In libQuest, a quest is defined as an event or a combination of other quests such that high level statements can be easily represented in a quest tree. libQuest is being designed with respect to Quest/Mission based