Search Sciweavers | Sciweavers

532 search results - page 3 / 107

» Process Algebras for Quantitative Analysis

click to vote

ECCV
1996
Springer

121views Computer Vision» more ECCV 1996»

Quantitative Analysis of Grouping Processes

14 years 8 months ago

Download www.cs.technion.ac.il

Arnon Amir, Michael Lindenbaum

claim paper

Read More »

click to vote

JSS
2000

86views more JSS 2000»

Quantitative analysis of static models of processes

13 years 6 months ago

Download dec.bournemouth.ac.uk

The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...

Keith Phalp, Martin J. Shepperd

claim paper

Read More »

click to vote

EPEW
2008
Springer

133views Internet Technology» more EPEW 2008»

State-Aware Performance Analysis with eXtended Stochastic Probes

13 years 8 months ago

Download www.dcs.ed.ac.uk

We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...

Allan Clark, Stephen Gilmore

claim paper

Read More »

click to vote

IMECS
2007

160views Theoretical Computer Science» more IMECS 2007»

Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt

13 years 7 months ago

Download www.engineeringletters.com

— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...

Ka L. Man, Michel P. Schellekens

claim paper

Read More »

click to vote

CMSB
2008
Springer

96views Applied Computing» more CMSB 2008»

Integrated Analysis from Abstract Stochastic Process Algebra Models

13 years 8 months ago