Abstract: A geographic-based communications service system has a mobile unit for transmitting/receiving information, and access points connected to a network. The access points are arranged in a known geographic locations and transmit and receive information from the mobile unit. When one of the access points detects the presence of the mobile unit, it sends a signal to the network indicating the location of the mobile unit and the information requested by the mobile unit. Based on the signal received from the access point, the network communicates with information providers connected to the network and provides data to the mobile unit through the access point corresponding to the location of the mobile unit.

Abstract: A method, system and computer program product for integrating implication-based analysis and equivalent gate analysis to maintain transitive reduction in an implication graph over a sequence of graph operations. One or more gates of a design are identified that are equivalent in all reachable states. Equivalent gates are assigned to an equivalence class when all gates within the equivalence class are equal. During the implication-based analysis the system determines when one or more implication paths are associated with the one or more equivalence classes, and an implication is generated at the implication path associated with the equivalence classes. A transitively reduced graph is received depicting the implications and equivalence classes of the design. When one or more operations are assigned to the transitively reduced graph, the graph is automatically adjusted to maintain transitive reduction.

Abstract: A method, system, and computer program product for reducing the size of a logic network design, prior to verification of the logic network design. The method includes eliminating registers to reduce the size of the logic network design; thereby, increasing the speed and functionality of the verification process, and decreasing the size of the logic network design. The system identifies one or more compatible resubstitutions of a selected register, wherein the compatible resubstitution expresses the selected register as one or more pre-existing registers of fixed initial state. The resubstitutions are refined utilizing design invariants. When one more resubstitutions are preformed, the system eliminates the selected registers to reduce the size of the logic network design. As a result of the resubstitution process, a logic network design of reduced size is generated.

Abstract: Methods, systems and computer program products for synthesizing medical procedure information stored in healthcare databases are provided. A medical procedure query associated with a single patient or a group of patients is received. Query results are provided responsive to the medical procedure query. The query results may include medical procedures from multiple sources that are expressed in multiple standards formats.

Abstract: A method and system for reducing the noise level of a power supply system with the implementation of a voltage controlled decoupling capacitor in an electrical circuit. Voltage variations of the power supply caused by switching currents are detected by a voltage sensor control circuit. The voltage sensor circuit compares a stable reference voltage with the varying voltage level of the power supply in order to generate a sensor control voltage. When applied to the decoupling capacitor, the control voltage adjusts the capacitance of the voltage controlled capacitor. The adjusted capacitance allows the voltage controlled decoupling capacitor to compensate for the effects of the voltage variations by supplying an increased quantity of charge to various circuit components. Thus, the voltage controlled capacitor is able to efficiently reduce noise within the power supply system.

Abstract: A method for migrating virtual machines between hypervisors is disclosed. Initially, metadata describing a virtual machine are automatically scanned and parsed. The structure of the metadata of a source virtual machine are automatically analyzed. Elements of this structure are mapped to corresponding entries of a target virtual machine. A target metadata descriptor to be used as part of the target virtual machine is generated. A predefined layout description of the data stored in a file system image of the source virtual machine read. A predefined layout description of the data to be stored in a file system image to be used at the target virtual machine is also read. The data are extracted from the source virtual machine. A template of a file system image for the target virtual system is generated. Storage space corresponding to the target virtual machine is allocated, and the extracted data are inserted into the allocated storage space.

Abstract: A method, system, and computer program product for autonomously controlling caller access to a teleconference based on specified preferences of a moderator. Using preferences established by the moderator of a teleconference, a conference control system may grant or restrict access of participants of the teleconference. The conference control system may authorize callers of a teleconference based on the current agenda item being discussed or the amount of time a caller has been on the ongoing teleconference. When a specific caller is not authorized to be on a conversation, the conference control system may mute the conversation for a specific caller, or disconnect the caller. The conference control system may autonomously re-connect the caller when an authorized agenda item for the caller is being discussed.

Abstract: An embodiment of the present invention is directed to an authorization and access control system for a venue or a geographic region comprising a plurality of venues. The authorization and access control system provides one or more computing devices selective access to one or more networks and/or services available in a network communications system by distributing a substantially unique string of characters (an “access code”) to each user of a computing device. The access code can then be entered via an input device, such as a keyboard or its equivalent, of the computing device. This enables the computing device to gain access to one or more networks and/or services at a venue or in geographic region with the network communications system. Various embodiments are useful and may have several advantages in several venues, such as coffee shops, hotels, train stations, law offices, marinas, truck stops, fueling stations, restaurants, and stores, among others.

Abstract: A system and method for providing roaming access on a network are disclosed. The network includes a plurality of wireless and/or wired access points. A user may access the network by using client software on a client computer (e.g., a portable computing device) to initiate an access procedure. In response, a network management device operated by a network provider may return an activation response message to the client. The client may send the user's username and password to the network provider. The network provider may rely on a roaming partner, another network provider with whom the user subscribes for internet access, for authentication of the user. Industry-standard methods such as RADIUS, CHAP, or EAP may be used for authentication. The providers may exchange pricing and service information and account information for the authentication session. A customer may select a pricing and service option from a list of available options.

Abstract: A system, method, and computer-usable medium for mitigating audible acknowledgement volume in a vehicle security system. A preferred embodiment of the present invention includes measuring an amplitude of a valid signal, in response to receiving the valid signal; in response to determining the amplitude of the valid signal, comparing the amplitude to a first predetermined threshold; in response to the comparison, adjusting a volume setting of an audible acknowledgement; further adjusting the volume setting in response to measuring ambient noise of a surrounding location; and emitting the audible acknowledgement.

Abstract: A system and method of utilizing a network to correct flawed media data. The media device includes a processor, a memory, a network adapter, a removable media interface, an error-correction module, and a communication module. The network device enables the media device to connect to the network and server. The removable media interface enables a user to couple a removable medium to the media device. After a user inserts a removable medium into the removable media interface, the processor and error-correction module examines the removable medium for physical errors. If the number of detected errors exceeds a predetermined threshold, the media device, via the network adapter and the communication module, queries a server for correction data. This correction data may be utilized by the media device to enable successful processing of the data stored on the removable medium.

Abstract: A technique that facilitates modifying (e.g., erasing or smudging) digital ink includes selecting a digital ink drying time based on a selected digital ink type. An ink stroke associated with the selected digital ink type is then tracked. The ink stroke may then be modified, prior to an end of the digital ink drying time, without using a dedicated tool.

Abstract: A method and system for mobile vehicle content management. Content may be received wireless from a plurality of access technologies within a mobile vehicle. The content may be balanced from the plurality of access technologies to select the content from at least one access technology for decryption. The selected content may be provided to a receiver device for presentation.

Abstract: A technique for joint detection of channel-coded signals in a multiple-input multiple-output system includes detecting, when a decoded signal associated with a first symbol stream passes a cyclic redundancy check, channel-coded signals in the first symbol stream and a second symbol stream using minimum mean squared error with ordered successive interference cancellation (MMSE-OSIC) based detection. When the decoded signal associated with the first symbol stream fails the cyclic redundancy check, the channel-coded signals in the first and second symbol streams are detected using neighbor search algorithm (NSA) based detection.

Abstract: A technique for increasing decoding reliability in an adaptive minimum mean squared error with successive interference cancellation (MMSE/SIC) decoder in a channel-coded multiple-input multiple-output (MIMO) communication system. A code block selector evaluates reliability metrics and determines whether the reliability metric of the decoded symbols of a particular indexed code block of a first code word satisfies a quality threshold. Depending upon this determination, a composite second code word is formed at each indexed code block using a previously calculated MMSE-LLR output of a second code word or a SIC-LLR output using the indexed symbols of a first code word. Composite second code word is decoded with increased accuracy.

Abstract: A method, system and computer program product for enhancing the functionality of the existing core root of trust measurement (CRTM). The CRTM is extended to allow platform manufacturer controlled and certified code to be incorporated into the function of the CRTM, wherein the manufacturer may define the policy for accepting a new function into the CRTM. When a firmware or software module image is compiled, the build process generates a hash value of the compiled firmware or software image, wherein the hash value reflects a fingerprint (or short hand) representation of the compiled image. A determination is made as to whether the hash value of the firmware or software image is to be a CRTM extension. If so, a digital signature of the module is created using the CRTM extension private key. This signature value is added to the firmware or software module.

Abstract: A method for performing verification is disclosed. The method includes selecting a set of gates to add to a first localization netlist and forming a refinement netlist. A min-cut is computed with sinks having one or more gates in the refinement netlist and sources comprising one or more inputs of an original netlist and one or more registers registers of the original netlist which are not part of the refinement netlist. A final localized netlist is obtained by adding one or more gates to the refinement netlist to grow the refinement netlist until reaching one or more cut-gates of the min-cut.

Abstract: A method, system, and computer program product for efficiently fulfilling java server page (JSP) requests for dynamic web content, in a computer network system. An asynchronous processing (AP) utility pre-defines a number of custom classes to enable the asynchronous processing of requests. A JSP which contains a custom “async:include” tag indicates an asynchronous request for dynamic content. When a set of asynchronous requests are received by an application server, an “AsyncRequestDispatcher” is called to handle the asynchronous processing of each associated request dispatcher include fragment. For each fragment, a separate request thread is initiated. A placeholder corresponding to each “async:include” request is written to a servlet response buffer. HyperText Markup Language (HTML) content, which includes the placeholders, and a number of javascripts are then written to the client browser. The original thread is closed.

Abstract: A technique for conditional sequential equivalence checking of logic designs embodied in netlists includes creating an equivalence-checking netlist over a first netlist and a second netlist. The conditional sequential equivalence checking includes conditions under which equivalences of the first and second netlists are checked. The technique derives a set of candidate conditional equivalence invariants for each correlated gate in a correlated gate pair set and attempts to prove that each candidate conditional equivalence invariant in the set of candidate conditional equivalence invariants is accurate. The candidate conditional equivalence invariants that cannot be proven accurate are removed from the set of candidate conditional equivalence invariants. The candidate conditional equivalence invariants that have been proven accurate are recorded as a set of conditional equivalence invariants.

Abstract: A method of configuring a data processing system for facilitating network communications involves creating a primary logical partition (LPAR) in the data processing system, the LPAR configured to host a specified operating system. The method further includes creating a first virtual network adapter within the LPAR, associating the first virtual network adapter with a first network address, and binding the first virtual network adapter to the LPAR. The method additionally involves creating a first logical subpartition (LSPAR) within the LPAR, the first LSPAR configured to employ said specified operating system and no other. The method also includes creating a second virtual network adapter within the LPAR, associating the second virtual network adapter with a second network address, wherein the second network address is not an alias network address of the first network address, and binding the second virtual network adapter to the first LSPAR.