Tag Results

Items tagged with "prism" (6)

Note: some items may not be visible to you, due to viewing permissions.


Workflows (6)
Original Uploader

Workflow prism Web service (1)

Created: 26/01/11 @ 21:53:24 | Last updated: 26/01/11 @ 21:53:25

Credits: User trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

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.

Rating: 0.0 / 5 (0 ratings) | Versions: 1 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 16 times | Downloaded: 10 times

Tags (9):

Original Uploader

Workflow asynchronous prism Web service (1)

Created: 26/01/11 @ 21:57:02 | Last updated: 26/01/11 @ 21:57:04

Credits: User trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

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

Rating: 0.0 / 5 (0 ratings) | Versions: 1 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 17 times | Downloaded: 14 times

Tags (5):

Original Uploader

Workflow sbml2Prism Web service (1)

Created: 26/01/11 @ 21:59:36 | Last updated: 26/01/11 @ 21:59:39

Credits: User trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

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

Rating: 0.0 / 5 (0 ratings) | Versions: 1 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 12 times | Downloaded: 8 times

Tags (6):

Original Uploader

Workflow [deprecated] Probabilistic Model Checking ... (1)

Created: 26/01/11 @ 22:14:41 | Last updated: 20/07/11 @ 14:14:30

Credits: User trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

Thumb
This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2266.html . Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

Rating: 0.0 / 5 (0 ratings) | Versions: 1 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 298 times | Downloaded: 9 times

Tags (6):

Original Uploader

Workflow Multi-parameter sensitivity analysis (MPSA... (2)

Created: 14/07/11 @ 08:59:23 | Last updated: 21/07/11 @ 10:08:07

Credits: User trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

Thumb
Exemplary multi-parameter sensitivity analysis (MPSA) experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) WS operations. In this version of MPSA PRISM probabilistic model checking is basis of analysis of SBML model parameters space.

Rating: 0.0 / 5 (0 ratings) | Versions: 2 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 9 times | Downloaded: 8 times

Tags (9):

Original Uploader

Workflow Probabilistic Model Checking (PMC): comput... (1)

Created: 20/07/11 @ 14:11:46 | Last updated: 20/07/11 @ 14:12:02

Credits: User trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

Thumb
Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

Rating: 0.0 / 5 (0 ratings) | Versions: 1 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 9 times | Downloaded: 6 times

Tags (6):

What is this?

Linked Data

Non-Information Resource URI: http://alpha.myexperiment.org/tags/2145


Alternative Formats

HTML
RDF
XML

New/Upload

Log in / Register

Username or Email:

Password:

Remember me:

OR

Use OpenID:


(eg: name.myopenid.com)

Need an account?
Click here to register

Forgot Password?

Front Page

Home

Invite people to myExperiment Alpha

Help pages

About Us

News and Events

Mailing List

Contact Us

Developers

Publications


Taverna Workflow Workbench

myGrid

BioCatalogue

Trident

Google Coop Search

EPSRC

JISC

Microsoft

Powered by:

Rails

Icons:
Silk icon set 1.3