7835 search results - page 182 / 1567 » Software are Processes Too |
135
Voted
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
124
click to vote
QSIC
2007
IEEE
15 years 11 months 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...
113
click to vote
FSTTCS
1992
Springer
15 years 8 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...
143
Voted
CLOUDCOM
2010
Springer
15 years 2 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...
140
click to vote
WOSP
2000
ACM
15 years 9 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...