Relational database systems (and the related standards body ANSI/INCITS H2) are busy adding XML support. One of the main components of such XML extensions will be support for the upcoming XML query language XQuery. The presentation will outline how XQuery and XML conceptually fit into a relational database environment. It will cover the organization of the XML in the database, how to type it us...

Globalization and technology transfer have led to the diffusion of risk communications to users from cultures that were not initially viewed as the target users. This study examined industry and trade workers' overall impressions of symbols used to convey varying degrees of hazardousness. Six symbols, including symbols from the American National Standards Institute (ANSI) Z535 Standard (ANSI, 1...

Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as ''work in progress.'' To learn the current status of any Internet-Draft, please check the ''1id-abstracts.txt'' listing contained in the Internet-Drafts Shad...

This paper is a user’s manual for MCLite, an adaptive multilevel finite element MATLAB package for solving scalar nonlinear elliptic equations in the plane. MCLite is a two-dimensional MATLAB prototype of a more complete twoand three-dimensional ANSI-C code called MC, which expends MCLite’s capabilities to elliptic systems of tensor equations on 2and 3-manifolds. Both codes share the same core ...

A difference of approximately 5 dB exists between the level of spoken English determined using the ANSI standard vu-meter method compared to the common root-mean-square (rms) method. If the rms method is substituted for the present ANSI standard method for calibrating a speech audiometer, for example, the reported speech reception thresholds will improve 5 dB: Speech levels read approximately 5...

To date, only one research study has evaluated how scooters respond to static and dynamic stability. However, no other studies have evaluated how scooters respond to adverse conditions and how they perform in all standard tests. A selection of 12 three-wheeled scooters was tested according to American National Standards Institute/Rehabilitation Engineering and Assistive Technology Society of No...

W l f h f l ifi i f ANSI C i e present a too or t e orma ver cat on o programs us ng Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C language features, including pointer constructs, d i ll ti i d th fl t d d bl d t t ynam c memory a oca on, recurs on, an e oa an ou e a a ypes. From the perspective of the user, the verification is highly automated:...

1 cc is a retargetable, production compiler for ANSI C; it has been ported to the VAX, Motorola 68020, SPARC, and MIPS R3000, and some versions have been in use for over a year and a half. It is smaller and faster than generally available alternatives, and its local code is comparable. This paper describes the interface between the target-independent front end and the targetdependent back ends....

We report on work in progress upon the verification of contextaware applications written in C-based languages. We recognize that context-aware programs are generally either middleware-based and multithreaded, or driven by asynchronous events, and focus on identifying the program points in which the contextual updates impact the application behaviour. Inheriting from related work on the validati...

Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementing separate (sub-)programs for each transformation. This paper describes a different approach. We designed and implemented a fully programmable C code transformation engine. It can be programmed by means of a transformation lang...