Patent application number | Description | Published |
20120278059 | SYSTEM AND METHOD FOR EXAMINING CONCURRENT SYSTEM STATES - A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy. | 11-01-2012 |
20120278480 | SYSTEM AND METHOD FOR IDENTIFYING SESSION IDENTIFICATION INFORMATION - A computer-implemented process, computer program product, and apparatus for identifying session identification information. A recording is initiated and an operation sequence of interest is performed while recording and the recording ceases. Responsive to a determination that the operation sequence of interest was successful, information from the operation sequence of interest is saved as recorded information and responsive to a determination that a same operation sequence of interest was recorded, the recorded information from each operation sequence of interest is compared. Differences in the recorded information are identified to form identified differences and a session identifier is constructed using the identified differences. | 11-01-2012 |
20120278699 | SYSTEM AND METHOD FOR EXCLUSION OF IRRELEVANT DATA FROM A DOM EQUIVALENCE - A computer-implemented process, computer program product, and apparatus for computing excluded data. A web page of interest is identified to form an identified page. The identified page is loaded a first time to form a first load, and responsive to a determination that a delta has not been computed for the identified web page, the identified page is loaded a second time to form a second load. Whether portions of the first load differ from portions of the second load is determined. Responsive to a determination portions of the first load differ from portions of the second load, the portions that differ to form a delta are identified. The delta is stored to form stored delta and the stored delta is excluded from a document object model associated with the identified page to form a modified document object model. | 11-01-2012 |
20130060159 | HEARING SCREENING APPLICATION FOR MOBILE DEVICES - A computer-implemented method is provided for conducting a hearing assessment of a patient. The method includes: presenting a plurality of objects on a display of a computing device, where each object produces an audio output in response to a stimuli from the patient and the audio output by the objects varies in frequency and intensity amongst the plurality of objects; prompting a patient with a visual cue to classify objects producing sound; receiving an input from the patient for each object in the plurality of objects, where the input indicates whether the audio output by a given object was perceptible to the patient; and generating an audiogram for the patient using the input received from the patient. | 03-07-2013 |
20140053089 | IDENTIFYING EQUIVALENT JAVASCRIPT EVENTS - Identifying equivalent JavaScript events includes receiving source code containing two JavaScript events for equivalency analysis, extracting an HTML element containing an event from each JavaScript event and analyzing the extracted HTML elements. Responsive to a determination that the HTML elements are of a same type according to equivalency criteria B, and responsive to a determination that the HTML elements have a same number of attributes according to equivalency criteria C, a determination is made whether JavaScript function calls of each JavaScript event are similar according to equivalency criteria A. Responsive to a determination that the JavaScript function calls are similar according to equivalency criteria A, and responsive to a determination that the other attributes of the HTML elements satisfy equivalency criteria D, the JavaScript events are identified as equivalent. | 02-20-2014 |
20140195510 | PARTITIONING A SEARCH SPACE FOR DISTRIBUTED CRAWLING - An illustrative embodiment of a computer-implemented process for partitioning a crawling space computes an event identifier for each event in the set of events to form an identified set of events, segments the identified set of events into a number of partitions, assigns a partition to each node in a set of nodes and executes each event in each assigned partition by a respective node. In response to a determination that a new state is discovered, other nodes are notified of the new state, in which information associated with the new state is added to a respective assigned set of event IDs at each node. In response to a determination that no more notifications exist, the computer-implemented process determines whether more events to process exist and terminates in response to a determination that no more events to process exist. | 07-10-2014 |
20140208195 | REPRESENTATION OF AN ELEMENT IN A PAGE VIA AN IDENTIFIER - Embodiments are directed to computing, by an apparatus comprising a processing device, an identifier (ID) for an element in a page using an algorithm responsive to encountering the element a first time, causing, by the apparatus, the ID to be stored in a storage device, encountering, by the apparatus, the element a second time, determining, by the apparatus, that the element is encountered the second time, and responsive to determining that the element is encountered the second time, representing, by the apparatus, the element by the ID at the time of the second encounter by retrieving the ID from the storage device. | 07-24-2014 |
20140208198 | REPRESENTATION OF AN ELEMENT IN A PAGE VIA AN IDENTIFIER - Embodiments are directed to computing, by an apparatus comprising a processing device, an identifier (ID) for an element in a page using an algorithm responsive to encountering the element a first time, causing, by the apparatus, the ID to be stored in a storage device, encountering, by the apparatus, the element a second time, determining, by the apparatus, that the element is encountered the second time, and responsive to determining that the element is encountered the second time, representing, by the apparatus, the element by the ID at the time of the second encounter by retrieving the ID from the storage device. | 07-24-2014 |
20140270160 | DIGITAL SIGNATURE AUTHENTICATION WITHOUT A CERTIFICATION AUTHORITY - Systems and methods for managing private and public encryption keys without the need for a third party certification authority. An initial value is generated by an authentication server. The initial value is divided into at least two portions and each portion is communicated with a user using different communication channels. The user receives the portions and enters a secret string value (i.e. a secret sentence) known only to the user. The portions are concatenated together to recreate the initial value. The portions, the initial value, and the secret string value are then used to create public and private keys for use by the user. Any recipient can authenticate digital signatures without needing the secret string value or the user's device can authenticate a digital signature using the portions and the secret string value. | 09-18-2014 |