Search Results for "params-validate"

Visual Figaro is an integrated environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://www.edf.fr/recherche/codes-de-calcul/kb3). KB3 is based on the FIGARO reliability modeling language, suitable for describing CTMC (continuous time Markov chains), DES (discrete event simulation) models, and for automatic generation of fault trees. FIGARO is objet oriented, close to natural language and enables building libraries of reusable components...

...You can create any function, or to get started try the visual function editor where each click changes if a column is sine/sigmoid/half/double/exp/etc or which of the 0, 1, or 2 columns to the left are its params. Every click changes the patterns of waves seen on the left, which run that function you visually built at each point.

ACLAnalyser is a powerful tool to validate, verify and debug a MAS (Multi Agent Systems). ACLAnalyser sniff all messages exchanged between agents in a MAS, store them in a data base, and recover them later to get interesting information.

EU-funded R&D project that aims to develop and validate a platform for composition of government services into complex process definitions (covering life events/business episodes) enabling semantic interoperability of particular e-Government services.