4485 search results - page 142 / 897 » Equivalences on Observable Processes |
SAC
2009
ACM
14 years 4 months ago
2009
ACM
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
APNOMS
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a measurement study of the traffic traces from the industrial process control IP networks. We present some interesting and unique traffic characteristics of the...
ICSM
1998
IEEE
14 years 2 months ago
1998
IEEE
1 The empirical study described in this paper focuses on the effectiveness of maintenance processes in an environment in which a repository of potential sources of reuse exists, e....
ICASSP
2009
IEEE
14 years 1 months ago
2009
IEEE
The Dirichlet process can be used as a nonparametric prior for an infinite-dimensional probability mass function on the parameter space of a mixture model. The set of parameters o...