2468 search results - page 120 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
102
Voted
WSC
1998
15 years 4 months ago
1998
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...
127
Voted
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
111
Voted
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspec...
150
click to vote
SIES
2008
IEEE
15 years 10 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
128
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A number of recently proposed mobile sensor network architectures rely on uncontrolled, or weakly-controlled mobility to achieve sensing coverage over time at low cost, a...