"... In PAGE 7: ... Tests are still undertaken, but it is noted that these have normally found mistakes in the test software rather than the software under test as the former has not been devel- oped rigorously, whereas the latter has. A comparison of costeffectiveness of different methods has been made (see Table3 (62D. Using formal methods has doubled the specification and analysis stage, but elimi- nated the redevelopment stage.... ..."

"... In PAGE 41: ...3m-19.1 million (Viscusi and Aldy, 2002, Table4 , pp92-93). Since there are relatively few Australian studies, there is also the issue of converting foreign (US) data to Australian dollars using either exchange rates or purchasing power parity and choosing a period.... ..."

"... In PAGE 22: ... The time-lapse recognition results by using images normalized with the randomly perturbed eye centers are shown in Table 5. When Table5 and Table 3 are compared, one conclusion is that IR is more sensitive to eye center locations. The correct recognition rates drop significantly compared to the performance... ..."

"... In PAGE 26: ...5. Catalog of Services EMD development services are summarized in Table5 -1. EMD offers a range of requirement, development, integration, and test approaches that can be combined in various ways to achieve cost-effective deployment of new capabilities.... In PAGE 27: ... Table5 -1. System Development Services Enable Cost-Effective Deployment of New Capabilities (2 of 2) Service Description When to Use Integration Service Perform integration of a new or enhanced capability with other SDPS components.... ..."

"... In PAGE 26: ...5. Catalog of Services EMD development services are summarized in Table5 -1. EMD offers a range of requirement, development, integration, and test approaches that can be combined in various ways to achieve cost-effective deployment of new capabilities.... In PAGE 26: ... The services, as applicable, support development of new hardware components or capabilities by the EMD contractor as well as other NASA stakeholders. Table5 -1. System Development Services Enable Cost-Effective Deployment of New Capabilities (1 of 2) Service Description When to Use Requirements Definition Service Provides SEIT services to coordinate hardware or software requirements definition across all stakeholders.... ..."

"... In PAGE 3: ... Five above-ground treatment technologies (air stripper low profile tray stack, air stripper packed tower, modular carbon adsorbers-duel bed, modular carbon adsorbers-permanent and modular carbon adsorbers-disposable) were selected for inclusion in the model based on a previous analysis (Vieux(1999)). The model chooses the most cost-effective technology for any selected pumping rate, using the ranges shown in Table1 . Three remediation wells were allowed for extraction/injection at the 58 candidate locations shown in Figure 2.... ..."

"... In PAGE 28: ... Since the visible light imagery is more reliable based on our experiments in the context of time-lapse, we use the rank of the visible light imagery to break the tie. The top of each item in Table8 shows the combination results using this approach. Only in 2 out of 16 instances is the visible light alone slightly better than the combination.... In PAGE 28: ... We logarithmically transformed the ranks before combination to put strong emphasis on the first ranks and have the later ranks have a quickly decreasing influence. The middle of each item in Table8 shows the results of this approach. The combiner outperforms visible light and IR in all the sub-experiments and is better than the combiner without rank transformation.... ..."

"... In PAGE 5: ... Figure 3 is a sketch of the base model topology central server CS, optional cache servers with an index i at depth t in the binary tree, and network links . Table 1 lists the symbols that are used in the formulas, and Table2 presents the formulas for calculating the cost of the distribution systems. In this section, we provide terms, assumptions.... ..."

"... In PAGE 5: ... Figure 3 is a sketch of the base model topology central server CS, optional cache servers with an index i at depth t in the binary tree, and network links . Table 1 lists the symbols that are used in the formulas, and Table2 presents the formulas for calculating the cost of the distribution systems. In this section, we provide terms, assumptions.... ..."