In recent years, the field of systems biology has emerged from a confluence of an increase
both in molecular biotechnology and in computing storage and power. As a discipline …

This paper introduces (pronounce spades), a stochastic process algebra for discrete event
systems, that extends traditional process algebra with timed actions whose delay is …

针对随机进程代数(stochastic process algebra, 简称SPA) 的基本模型方法,
模型特点和该领域的主要研究成果进行了综述. 比较了SPA 和随机Petri 网(stochastic Petri nets …

This paper is an informal tutorial on stochastic process algebras, ie, process calculi where
action occurrences may be subject to a delay that is governed by a (mostly continuous) …

As recentes pesquisas na área de Gestão de Processos de Negócio (GPN) vêm
contribuindo para aumentar a eficiência nas organizações. A GPN pode ser compreendida …

This paper presents the groundwork for a distributed network of collaborating, intelligent
surveillance cameras, implemented with low-cost embedded microprocessor camera …

Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of
service provision. This analysis depends on being able to estimate the average duration of …

Probabilistic rewrite theories are proposed as a general semantic framework that unifies
many existing models of probabilistic systems for both discrete and continuous time and …

The performance modeller may attempt to quantitatively analyse the behaviour of computer
systems by building performance models. Such models may become unwieldy, and so high …