11168 search results - page 306 / 2234 » Abstract State Processes |
211
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...
215
click to vote
JSAI
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
218
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
282
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we present a new online failure forecast system to achieve predictive failure management for fault-tolerant data stream processing. Different from previous reactive ...
188
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Adaptive query processing is of utmost importance for the scalability of data stream processing systems due to the long-running queries and fluctuating stream characteristics. An...