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 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.