Sciweavers

178 search results - page 6 / 36
» Modelling Network Performance with a Spatial Stochastic Proc...
Sort
View
PE
2010
Springer
135views Optimization» more  PE 2010»
13 years 1 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
ENTCS
2007
78views more  ENTCS 2007»
13 years 6 months ago
PEPA Queues: Capturing Customer Behaviour in Queueing Networks
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
Ashok Argent-Katwala, Jeremy T. Bradley
ENTCS
2010
133views more  ENTCS 2010»
13 years 6 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
JCSS
2008
159views more  JCSS 2008»
13 years 6 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
MASCOTS
2003
13 years 8 months ago
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...