Search Sciweavers | Sciweavers

2167 search results - page 43 / 434

» Stochastic Process Algebras

158

Voted

IRI
2008
IEEE

227views Information Technology» more IRI 2008»

Model check stochastic supply chains

15 years 9 months 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 »

104

click to vote

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

15 years 9 months ago

Download www.win.tue.nl

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

claim paper

Read More »

129

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

15 years 9 months ago

Download pastaworkshop.org

Chris McCaig, Rachel Norman, Carron Shankland

claim paper

Read More »

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

15 years 9 months ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

118

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers