Workflows

Search filter terms
Filter by type
Filter by tag
Filter by user
Filter by licence
Filter by wsdl
Results per page:
Sort by:
Showing 4 results. Use the filters on the left and the search box below to refine the results.
Tag: web service Wsdl: http://bioputer.mimuw.edu.pl/tav4sb/services/wsdl
Uploader

Workflow mathPlot Web service (1)

Thumb
Plotting operation which uses Mathematica (http://www.wolfram.com/mathematica/) software.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow sbml2Prism Web service (1)

Thumb
For example of the SBML to PRISM translation and the description of its details see http://www.prismmodelchecker.org/manual/RunningPRISM/SupportForSBML .

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow asynchronous prism Web service (1)

Thumb
Asynchronous version of the Prism Web service. Results XML list is sent via email.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow prism Web service (1)

Thumb
PRISM model checking (http://www.prismmodelchecker.org/manual/RunningPRISM/ModelChecking). The '-fixdl' switch is used, which means that all deadlock states in model are fixed by addition of self-loops.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Results per page:
Sort by: