1542 search results - page 200 / 309 » The Observational Power of Clocks |
92
Voted
FORTE
1996
15 years 2 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
76
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
This paper investigates L-system evolution through experiments with a simulation platform of virtual plants. The conducted simulations vary the occurrence probability of terminal ...
91
Voted
CSDA
2008
15 years 23 days ago
2008
An algorithm for time-adaptive quantile regression is presented. The algorithm is based on the simplex algorithm, and the linear optimization formulation of the quantile regressio...
110
Voted
ENTCS
2006
15 years 21 days ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
139
Voted
KES
2006
Springer
15 years 19 days ago
2006
Springer
This paper investigates cluster formation in decentralized sensor grids and focusses on predicting when the cluster formation converges to a stable configuration. The traffic volum...