CiteSeerX — Table search results

Results 1 - 10 of 36

Table 3. Sample ETL Specifications

in Automatic Verification of Temporal Properties of Concurrent Heap-Manipulating Programs using Evolution Logic

by Eran Yahav, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm

"... In PAGE 11: ... Example 2. Table3 shows a number of interesting properties, and their specifi- cation in ETL . Property 1 of Table 3 states that globally, each individual that is allocated during program execution is eventually deallocated.... In PAGE 11: ... Table 3 shows a number of interesting properties, and their specifi- cation in ETL . Property 1 of Table3 states that globally, each individual that is allocated during program execution is eventually deallocated. Note that the universal quantifier quantifies over individuals of the configuration in which it is evalu- ated.... ..."

Cited by 1

Table 1. Inference rules of ETL

in From Inheritance Relation to Non-Axiomatic Logic

by Pei Wang 1994

Cited by 23

Table 2 Matrix of ETL NOC (based on root definition a) of ETL NOC) Activity Exists when How is it done Support Comments

in a sociotechnical approach to Soft Systems Methodology Authors:

by Vid Göteborgs Universitet, Lena Attefalk, Gunilla Langervik

"... In PAGE 6: ... _______________________________ 84 Figure 30 The utilization of the OSS at ETL NOC._______________________________ 87 Table Index: Table 1 The dimensions of the Task Technology Fit measures of TTF _______________ 46 Table2 Matrix of ETL NOC (based on root definition a) of ETL NOC)________________ 74 Table 3 Matrix of Network Surveillance _______________________________________ 74 Table 4 Matrix of Real-Time Surveillance _____________________________________ 75 Table 5 Matrix of Routine Maintenance _______________________________________ 76 Table 6 Matrix of 2nd Level Support - Switching ________________________________ 76 Table 7 Matrix of 2nd Level Support - Configuration amp; Data _______________________ 77 Table 8 The function area and application dependency of the apos;negative attitudes apos; ______ 83 Table 9 Task Equivocality _________________________________________________ 85 Table 10 Task Interdependence_____________________________________________ 85 Table 11 Function Area ___________________________________________________ 86 Table 12 Performance Impact of Computer Systems amp; Services ___________________ 86 ... In PAGE 118: ...n Part B. of the TTF-questionnaire involves questions of task characteristics. The definition of the task/job characteristic measures can be found in table 2 below. Table2 Definition of the task/job characteristics measures of TTF TASK/JOB CHARACTERISTICS Task equivocality How vague the task performed is. It is a matter of non-routineness.... ..."