Abstract: A device and method is presented for adapting existing articulating bedframes to prevent lateral movement of the user while the bedframe is articulated.

Abstract: A lightweight concrete composition comprising a dry mixture of an aggregate component, a hydraulic cement component and a fiber component. The aggregate component has a bulk density of 75 pounds per cubic foot or less and is present in the composition in an amount within the range of 55-70 wt. %. The hydraulic cement component is present in the dry mixture in an amount within the range of 30-45 wt. % and comprises three constituents. One constituent is selected from the group consisting of Type I and Type III cements and mixtures thereof. A second cement constituent, present in in an amount which is less than the first cement constituent, is a pozzolanic cement. The third cement constituent is present in an amount which is less than the amount of the second cement constituent and includes Type S masonry cement, Type N masonry cement, an air entraining agent and mixtures thereof. The fiber component can be Type AR glass fibers, having an aspect ratio within the range of 0.0015-0.005.

Abstract: A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.

Abstract: A method for ensuring that a program using dynamic binding and recursion is free from unbounded recursion is provided, together with a method for automatically constructing a set of mathematical theorems that are all true theorems if the program is indeed free from unbounded recursion. In a preferred embodiment, a computer program generates the set of theorems automatically from information in the program and the same or another computer program attempts to prove the theorems, with or without human assistance.

Abstract: A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.

Abstract: A system and method for determining approval of a multi-currency transaction between a customer and a merchant over a network. The system includes a customer computer which is connected to a communication network, a merchant computer which is connected to the communication network, and a server connected to both the customer computer via the communication network and to the merchant computer via the communication network. The customer computer includes a first set of data which contains an amount the customer is willing to pay the merchant for a product in a first currency. The merchant computer includes a second set of data which contains a product price at which the merchant agrees to sell the product in a second currency. The server receives the first set of data and the second set of data. The server then converts the amount in the first currency into a converted amount in the second currency.

Abstract: A system and method for determining approval of a multi-currency transaction between a customer and a merchant over a network. The system includes a customer computer which is connected to a communication network, a merchant computer which is connected to the communication network, and a server connected to both the customer computer via the communication network and to the merchant computer via the communication network. The customer computer includes a first set of data which contains an amount the customer is willing to pay the merchant for a product in a first currency. The merchant computer includes a second set of data which contains a product price at which the merchant agrees to sell the product in a second currency. The server receives the first set of data and the second set of data. The server then converts the amount in the first currency into a converted amount in the second currency.

Abstract: A system and method relating to secure communications in a communication network is disclosed. The invention uses sessions having limited duration to enable parties to communicate securely in the communication network. The session of one party is independent from the session of another party. The sessions are linked at a server which confirms that the sessions are valid.In a preferred embodiment, the secure communications occur in an electronic transfer system. In the electronic transfer system, a customer and a merchant can conduct a transaction wherein the customer can purchase a product from the merchant and pay for the product using electronic funds.

Abstract: A lightweight cementitious composition comprising a dry mixture of a hydraulic cement component and a lightweight aggregate component of about 75 ppcf or less and a process involving mixing with water to produce a slurry containing at least 4 volume percent entrained air and which is easily workable and sets to produce a lightweight concrete mass having a strength of 2500 psi and a density of 115 ppcf or less. The hydraulic cement component can include two or three cement constituents. One constituent is a Type S, Type M or Type N masonry cement. A second constituent is a pozzolanic cement or an expansive cement, and a third constituent is a Type I cement, Type II cement or a Type III portland cement. In this mixture the first and second cement constituents are each present in an amount less than the third cement constituent.

Abstract: A light weight cementitious composition comprising a dry mixture of a hydraulic cement component and an aggregate component and which, upon mixing with water, produces a paste which is easily workable and sets to produce a light weight concrete mass. The hydraulic cement component includes at least two and usually three cement constituents. One constituent is a Type S, Type M or Type N masonry cement. A second constituent is a pozzolanic cement or an expansive cement, and a third constituent is a Type I cement, Type II cement or a Type III portland cement. In this mixture the first and second cement constituents are each present in an amount less than the third cement constituent. The second aggregate component in the dry mixture comprises a light weight aggregate present in an amount to provide a bulk density for the dry mixture of no more than 100 pounds per cubic foot and more specifically, a bulk density of about 85 pounds per cubic foot, or less.

Abstract: A fast setting cementitious composition which upon hydration with water forms a paste-like slurry useful in stopping leaks in the walls of cement pipes. The cementitious composition comprises a dry mixture of a hydraulic cement component having a first Portland cement constituent and a second calcium aluminate constituent, an aggregate component and a lime component. Upon hydration with 23 wt. % water, the resulting slurry has an initial Vicat setting time within the range of 1-5 minutes and a final Vicat setting time of no more than 6 minutes. The cement component contains the first and second cement constituents in weight ratios within the range of 3:2-2:3. The lime component is present in an amount within the range of 1-4 wt. %.In effecting the repair of a water leak, a paste-like slurry is formed from water and the dry cementitious composition. The cementitious paste is supplied to the repair site.

Abstract: A dry cementitious composition which is shrinkage compensating and fast-setting for use in grouting repair of concrete surfaces. The cementitious composition comprises a hydraulic cement mixture of a major amount of a first portland cement constituent and a minor amount of a second expansive ettringite sulfoalumina cement constituent, an aggregate component, and an accelerator component. The accelerator component is a polyvalent metal salt of formic acid, specifically an alkaline earth metal formate such as calcium formate. Specific formulations include a mixture of Type I, Type IP, or Type III cement as a first constituent with Type K, Type M, or Type S cement as a second constituent, with the ratio of the first to the second constituent within the range of 2-3.

Abstract: A system and method for determining approval of a multi-currency transaction between a customer and a merchant over a network. The system includes a customer computer which is connected to a communication network, a merchant computer which is connected to the communication network, and a server connected to both the customer computer via the communication network and to the merchant computer via the communication network. The customer computer includes a first set of data which contains an amount the customer is willing to pay the merchant for a product in a first currency. The merchant computer includes a second set of data which contains a product price at which the merchant agrees to sell the product in a second currency. The server receives the first set of data and the second set of data. The server then converts the amount in the first currency into a converted amount in the second currency.

Abstract: A system and method for determining approval of a multi-currency transaction between a customer and a merchant over a network. The system includes a customer computer which is connected to a communication network, a merchant computer which is connected to the communication network, and a server connected to both the customer computer via the communication network and to the merchant computer via the communication network. The customer computer includes a first set of data which contains an amount the customer is willing to pay the merchant for a product in a first currency. The merchant computer includes a second set of data which contains a product price at which the merchant agrees to sell the product in a second currency. The server receives the first set of data and the second set of data. The server then converts the amount in the first currency into a converted amount in the second currency.