19367 search results - page 336 / 3874 » Fine-Grain Process Modelling |
114
click to vote
JLP
2006
15 years 4 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
116
click to vote
QUESTA
2006
15 years 4 months ago
2006
We consider a general QBD process as defining a FIFO queue and obtain the stationary distribution of the sojourn time of a customer in that queue as a matrix exponential distribut...
200
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we present Poisson sum series representations for α-stable (αS) random variables and α-stable processes, in particular concentrating on continuous-time autoregres...
114
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
121
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...