9518 search results - page 266 / 1904 » On Mobility of Software Processes |
149
click to vote
QSIC
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
151
click to vote
FSTTCS
1992
Springer
15 years 10 months ago
1992
Springer
The branching bisimulation de ned by Van Glabbeek and Weijland takes care of preserving the branching structure of processes even though silent actions are taken. Branching bisimu...
179
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Applying Cloud computing techniques for analyzing large data sets has shown promise in many data-driven scientific applications. Our approach presented here is to use Cloud comput...
172
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
161
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
The lifecycle of defects reports and enhancement requests collected in the Bugzilla database of the GNOME project provides valuable information on the evolution of the change requ...