Abstract: An electronic voting machine obtains session information in an encrypted state for conducting a voting session. The voting machine decrypts the session information using a decryption key that is specific to the voting machine. A ballot provided in the session information may then be presented in a user interface through which votes are received. The session information also includes an encryption key for a specific tabulation machine associated a priori with the voting session, as well as one or more datastores. The voting machine encrypts the votes with the encryption key and sends the votes in an encrypted state to the one or more datastores. The tabulation machine may then retrieve the votes from the location(s) and decrypt them using a corresponding private key.

Abstract: An electronic voting machine obtains session information in an encrypted state for conducting a voting session. The voting machine decrypts the session information using a decryption key that is specific to the voting machine. A ballot provided in the session information may then be presented in a user interface through which votes are received. The session information also includes an encryption key for a specific tabulation machine associated a priori with the voting session, as well as one or more datastores. The voting machine encrypts the votes with the encryption key and sends the votes in an encrypted state to the one or more datastores. The tabulation machine may then retrieve the votes from the location(s) and decrypt them using a corresponding private key.

Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.

Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.

Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.

Abstract: This application discloses a computing system to provide test stimulus to an electronic device modeled in a verification environment by the computing system. The computing system can identify transactions performed by the electronic device in the verification environment based, at least in part, on messages exchanged over an interconnect in the electronic device in response to the test stimulus. The computing system can output the transactions from the verification environment and bundle a plurality of the transactions based, at least in part, on messaging relationships defined by a communication protocol for the interconnect. The computing system can utilize the bundles of transactions to determine whether the electronic device functions in accordance with the communication protocol.

Abstract: A substantially smooth, seamless managed friction material surface and apparatus for placement on a support surface between the support surface and a living being for preventing abrasion or decubitus ulcers in a living being. The managed friction material surface comprises a plurality of plies having a smooth side and a first, high friction zone and second, low friction zone. At least one adhesive ply is interposed partially between adjacent plies; and the plies are selectively bonded to form adjacent frictional zones of high and low friction. Unbonded plies are allowed to move substantially freely with respect to one another thus providing a lower friction zone. The apparatus comprises the managed friction material surface such that the bonded zone is configured for positioning remote the bony prominence and the unbonded zone for positioning proximate the bony prominence, seamlessly occupying different areas on the same side of the material surface.

Abstract: A substantially smooth, seamless managed friction material surface and apparatus for placement on a support surface between the support surface and a living being for preventing abrasion or decubitus ulcers in a living being. The managed friction material surface comprises a plurality of plies having a smooth side and a first, high friction zone and second, low friction zone. At least one adhesive ply is interposed partially between adjacent plies; and the plies are selectively bonded to form adjacent frictional zones of high and low friction. Unbonded plies are allowed to move substantially freely with respect to one another thus providing a lower friction zone. The apparatus comprises the managed friction material surface such that the bonded zone is configured for positioning remote the bony prominence and the unbonded zone for positioning proximate the bony prominence, seamlessly occupying different areas on the same side of the material surface.

Abstract: Multiple computer workstations are connected to output ports of an automatic switching device having a controller switch. Input devices, such as a mouse and keyboard, are connected to an input port of the automatic switching device and multiple displays may be either connected directly to a corresponding workstation, or to the automatic switching device. Output signals of the input devices are routed to a selected output port of the automatic switching device. The controller switch automatically switches the output signals of the input devices between the output ports when a switch command signal is received from the selected port. The switch command signal is sent to the automatic switching device by a software agent in a workstation when the software agent detects that movement of a mouse meets a predetermined boundary condition, such as moving off the edge of a display.

Abstract: A toy glider aircraft is assembled using a recycled beverage container. Portions of a box containing a plurality of the beverage containers can include airplane parts such as wings and a vertical stabilizer. Other parts for the toy glider can be fit to the glider using the beverage container neck threads. The bottle can be formed to resemble an aircraft fuselage.

Abstract: An isolation apparatus reduces vibrations and destructive twisting forces otherwise transmitted between an automotive vehicle body and roof. A striker isolator and a roof pivot isolator are provided. Furthermore, a hinge isolator is provided between a pair of foldable roof sections. These isolators are ideally suited for use in combination with convertible roofs.