2167 search results - page 30 / 434 » Stochastic Process Algebras |
ENTCS
2006
13 years 9 months ago
2006
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.
ENTCS
2006
13 years 9 months ago
2006
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
FORTE
2004
13 years 11 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
VDB
2000
13 years 11 months ago
2000
Searching and managing large archives of visual data, such as images and video, is made hard by the lack of proper integration between the visual aspects of the problem (image pro...
MSCS
2008
13 years 9 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...