Abstract: Methods and apparatus, including computer program products, for generation of customized client proxies. A method of generating client proxies includes receiving properties of a client, determining customizations for a client proxy based on the properties of the client, and generating the client proxy, where the client proxy includes the one or more customizations. Generating the client proxy can include generating the client proxy as executable code to execute on the client, source code to be compiled on the client, or a combination of source code and executable code. A customization can define a modification of a default client proxy, a combination of designtime objects for a client proxy, a combination of runtime objects for a client proxy, or a combination of all three techniques or different techniques.

Abstract: Methods and apparatus, including computer program products, implementing techniques for handling taxes in computer-based sales transactions. In a sales transaction, a buyer makes a purchase from a seller. The purchase has a purchase price and a tax amount owed on the purchase. In one aspect, the techniques include using a tax handling proxy to identify a tax calculation service for a sales transaction and to interact with the identified tax calculation service to obtain the tax amount for the sales transaction. The tax calculation service is provided by a governmental tax authority. In another aspect, the techniques include transferring payment for a tax amount from the buyer to the governmental tax authority without passing through the seller. The payment for the tax amount is transferred contemporaneously with a transfer of a payment for the purchase price to the seller.

Abstract: Methods and apparatus, including computer program products, implementing techniques for handling taxes in computer-based sales transactions. In a sales transaction, a buyer makes a purchase from a seller. The purchase has a purchase price and a tax amount owed on the purchase. In one aspect, the techniques include using a tax handling proxy to identify a tax calculation service for a sales transaction and to interact with the identified tax calculation service to obtain the tax amount for the sales transaction. The tax calculation service is provided by a governmental tax authority. In another aspect, the techniques include transferring payment for a tax amount from the buyer to the governmental tax authority without passing through the seller. The payment for the tax amount is transferred contemporaneously with a transfer of a payment for the purchase price to the seller.

Abstract: Methods and apparatus, including computer systems and program products, that relate to diversification of computer code. The methods feature a machine-implemented method that includes receiving input computer code, and automatically generating multiple versions of diversified computer code, where each version of the diversified computer code is distinct from but functionally equivalent to the input computer code. The input computer code can include source code or binary code and automatically generating multiple versions of diversified computer code can include automatically generating multiple versions of diversified source and/or binary code. Automatically generating diversified computer code can include applying multiple diversification operations.

Abstract: Methods and apparatus, including computer program products, implementing techniques for word processing. The techniques include receiving a word processing document that includes natural language text, identifying in the word processing document a segment of artificial language text that is written in a particular artificial language, performing one or more word processing functions on the natural language text, and validating the artificial language text using one or more validation functions that are specific to the particular artificial language. The artificial language is a language that has a formal definition. The word processing functions including proofreading the natural language text for spelling, grammar, or style errors.

Abstract: A method in a computing device for identifying interfaces related to a service provider includes receiving a call identifier as an explicit parameter in a call or as an implicit parameter contained within input data to request a service provided by the service provider, the call identifier representing a version of the service.

Abstract: Methods and apparatus, including computer program products, for generation of customized client proxies. A method of generating client proxies includes receiving properties of a client, determining customizations for a client proxy based on the properties of the client, and generating the client proxy, where the client proxy includes the one or more customizations. Generating the client proxy can include generating the client proxy as executable code to execute on the client, source code to be compiled on the client, or a combination of source code and executable code. A customization can define a modification of a default client proxy, a combination of designtime objects for a client proxy, a combination of runtime objects for a client proxy, or a combination of all three techniques or different techniques.

Abstract: An apparatus and method for providing electric energy in an ad hoc manner to a customer having an electrically-powered device, includes an electric connection unit configured to electrically connect to the electrically-powered device, the electric connection unit being in a default state in which electrical energy is not output from the electric connection unit. An input unit is configured to receive input, by the customer, of a mode of payment. A control unit is configured to control operation of the apparatus. An output unit is configured to provide a payment record to the customer when the customer has finished using the apparatus. The control unit controls operation of the electric connection unit to thereby allow electric energy to flow from the electric connection unit to the electrically-powered device coupled thereto, when the control unit has determined that the mode of payment provided to the input unit is acceptable.

Abstract: Methods and apparatus, including computer systems and program products, that relate to diversification of computer code. The methods feature a machine-implemented method that includes receiving input computer code, and automatically generating multiple versions of diversified computer code, where each version of the diversified computer code is distinct from but functionally equivalent to the input computer code. The input computer code can include source code or binary code and automatically generating multiple versions of diversified computer code can include automatically generating multiple versions of diversified source and/or binary code. Automatically generating diversified computer code can include applying multiple diversification operations.

Abstract: Methods and apparatus, including computer program products, implementing techniques for handling taxes in computer-based sales transactions. In a sales transaction, a buyer makes a purchase from a seller. The purchase has a purchase price and a tax amount owed on the purchase. In one aspect, the techniques include using a tax handling proxy to identify a tax calculation service for a sales transaction and to interact with the identified tax calculation service to obtain the tax amount for the sales transaction. The tax calculation service is provided by a governmental tax authority. In another aspect, the techniques include transferring payment for a tax amount from the buyer to the governmental tax authority without passing through the seller. The payment for the tax amount is transferred contemporaneously with a transfer of a payment for the purchase price to the seller.

Abstract: A method in a computing device for identifying interfaces related to a service provider includes receiving a call identifier as an explicit parameter in a call or as an implicit parameter contained within input data to request a service provided by the service provider, the call identifier representing a version of the service.

Abstract: Methods and apparatus, including computer program products, implementing techniques for word processing. The techniques include receiving a word processing document that includes natural language text, identifying in the word processing document a segment of artificial language text that is written in a particular artificial language, performing one or more word processing functions on the natural language text, and validating the artificial language text using one or more validation functions that are specific to the particular artificial language. The artificial language is a language that has a formal definition. The word processing functions including proofreading the natural language text for spelling, grammar, or style errors.

Abstract: A system and method to generate secure electronic records is disclosed. A client system may receive data associated with a transaction. The client may transfer the transaction data to a server system. The server system may generate a secure electronic record based, at least in part, on the data associated with the transaction. The generated secure electronic record may be transmitted to a plurality of clients.