Search Sciweavers | Sciweavers

2167 search results - page 43 / 434

» Stochastic Process Algebras

200

click to vote

IRI
2008
IEEE

227views Information Technology» more IRI 2008»

Model check stochastic supply chains

16 years 12 days ago

Download www.eecs.wsu.edu

—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...

Li Tan, Shenghan Xu

claim paper

Read More »

126

click to vote

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

16 years 14 days ago

Download www.win.tue.nl

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...

claim paper

Read More »

161

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

16 years 10 days ago

Download pastaworkshop.org

Chris McCaig, Rachel Norman, Carron Shankland

claim paper

Read More »

103

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

16 years 8 days ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

150

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

16 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers