### Table 2. Steady-State Probability of Resource Free N Global States Red. Dim. Free Prob. Time (sec.)

"... In PAGE 11: ... Note that the impossibility of a protocol error can be established extremely quickly, and that the compositional technique clearly does not require the enumeration of the entire global state space to obtain the answer. Table2 shows the results of computing the steady-state probability of the resource being free, for the immediate-allocation version of the algorithm. This was accomplished via the alarm clock construction using the two-state observer whose transition diagram is shown in Figure 1.... ..."

### Table 4. Exact Steady-State Request-to-Grant Expected Delay N Global States Red. Dim. Exp. Delay. Time (sec.)

"... In PAGE 13: ... quot; As the alarm clock rate tends to zero, the result approaches the steady state value. Table4 shows the results of using this approach to compute the exact steady-state expected delay from the time a user issues a request from its idle state until the time the matching grant is issued. Table 5 shows the results of an approximate calculation of the same quantities.... ..."

### Table 1: Reasons for Alarms

2007

"... In PAGE 3: ... A lot of effort was put into DRAC to minimize the alarms generated during the provisioning phase. Table1 gives an overview of what alarms are generated in the various steps of provisioning of a lightpath. DRAC tries to minimize the generation of these alarms when it provisions a lightpath.... ..."

### Table 6: MEDL Alarms

2002

"... In PAGE 14: ...st. At this point the checker will re-evaluate the Loop Invariant condition to check for violations. This will be our general strategy for translation|we convert the desired properties into alarms by negation. Table6 shows properties and their corresponding MEDL alarm names. Appendix A gives the complete MEDL script describing property MonSeqNo.... ..."

Cited by 21

### Table 4: False alarms.

2007

"... In PAGE 10: ...6% over the number of dates in real texts. Table4 examines some of the false alarms and their cause. Although the results are good, more corpus data will be needed in order to maximize precision.... ..."

### Table 1. Summary of alarms

2006

"... In PAGE 7: ... For purposes of visualization, we aggregate alarms over five minute time intervals, and show only a four-hour snapshot. Table1 summarizes the num- ber of alarms of a multi-resolution detection approach and single-resolution approaches of different window sizes. The multi-resolution approach is denoted as MR, and a single-resolution approach using a window of size w is denoted as SR-w.... ..."

Cited by 3