Search Sciweavers | Sciweavers

3191 search results - page 41 / 639

» Qualitative Modeling in Education

110

click to vote

CORR
2009
Springer

99views Education» more CORR 2009»

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA

15 years 3 months ago

Download homepages.inf.ed.ac.uk

Federica Ciocchetta, Adam Duguid, Maria Luisa Guer...

claim paper

Read More »

112

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

15 years 3 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Milan Ceska

claim paper

Read More »

click to vote

CORR
2010
Springer

48views Education» more CORR 2010»

E-Net Models of a Software System for E-Mail Security

15 years 2 months ago

Download www.fmi.uni-sofia.bg

Nikolai Todorov Stoianov, Veselin Tsenov Tselkov

claim paper

Read More »

click to vote

CORR
2011
Springer

143views Education» more CORR 2011»

Graffiti Networks: A Subversive, Internet-Scale File Sharing Model

15 years 1 months ago

Download www.cs.brown.edu

Andrew Pavlo, Ning Shi

claim paper

Read More »

120

click to vote

CORR
2011
Springer

144views Education» more CORR 2011»

Simulation of Self-Assembly in the Abstract Tile Assembly Model with ISU TAS

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers