Bizarre Patents
A small umbrella which may be removably attached to a beverage container in order to shade the beverage container from the direct rays of the sun.
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8191047 | Multi-tiered certification service A method for certifying whether a software solution is compatible with an operating environment that includes one or more backend systems associated with a software product. Provide an advanced certification routine including a plurality of tests associated with det... | 05/29/2012 |
| 8191048 | Automated testing and qualification of software-based, network service products A computer-based method for qualifying a software application such as a monitoring and/or management network-delivered product. The method includes operating a computer to run a software application with network-delivered services. A qualification computer system is... | 05/29/2012 |
| 8185876 | Method and implementation for constructing of corrected java native code Method and system for constructing corrected Java native code are provided. Native source code that interfaces or integrates with Java code is analyzed and validated before the source code is compiled. One or more checks are performed on the native source code to ve... | 05/22/2012 |
| 8185875 | Fast and accurate static data-race detection for concurrent programs A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by levera... | 05/22/2012 |
| 8171458 | Method for source-related risk detection and alert generation A method and system for detecting a source-related risk and generating an alert concerning the source-related risk are disclosed. Criteria of the source-related risk are defined. Thresholds associated with the source-related risk are defined. Every operation on an o... | 05/01/2012 |
| 8171459 | System and method for software performance testing and determining a frustration index A system and method for determining a frustration index for a software suite based upon the measurements of the software's performance. The frustration index communicates the overall state of a customer's performance-related user experience as defined by a set of te... | 05/01/2012 |
| 8166460 | System and method for analyzing HTTP sessions Software intended to operate in a clustered environment can be tested for appropriate failover behavior through the use of an automated tool which allows failover to be simulated without requiring that the application be deployed in a cluster environment and observi... | 04/24/2012 |
| 8161460 | System and method of automatic interoperability checking for BPEL In one embodiment the present invention includes a method of determining whether computer processes can interact without deadlocks. The computer processes may be modeled in a process modeling language. The method includes (optionally) generating state diagrams from ... | 04/17/2012 |
| 8141049 | System and method for scalable flow and context-sensitive pointer alias analysis A system and method for pointer analysis for computer program verification includes forming a subset or cluster of pointers from pointers in a program by applying increasingly accurate alias analyses in a cascaded fashion such that each analysis works on a subset of... | 03/20/2012 |
| 8141048 | Sequential encoding for relational analysis (SERA) of a software model A method of verifying a software system includes receiving a description of a software system described utilizing a high-level modeling language, and responsive thereto, parsing the description and constructing an abstract syntax graph. The abstract syntax graph is ... | 03/20/2012 |
| 8136095 | Relations in fuzzing data A test tool is provided for testing a software component. The tool receives data structured and formatted for processing by the software component. The structured data might conform to a schema defining valid inputs that the software component is able to parse/proce... | 03/13/2012 |
| 8136094 | Relationship management for data modeling in an integrated development environment A system and method of relationship management for data modeling in an integrated development environment is provided. A method of incorporating a program code file includes generating a relational schema of symbols in the program code file based on a framework for ... | 03/13/2012 |
| 8112741 | Ignoring output arguments of functions in programming environments Methods, systems and computer program products are provided for ignoring one or more output arguments of a function in a programming environment. Users or programmers may designate one or more output arguments that are not desired by the users. The called function d... | 02/07/2012 |
| 8104021 | Verifiable integrity guarantees for machine code programs A verifier performs static checks of machine code to ensure that the code will execute safely. After verification is performed, the code is executed. The code modules generated by the rewriter and verified by the verifier prevent runtime code modifications so that p... | 01/24/2012 |
| 8087004 | Drawing validation tool Methods and systems of validating the application of geometric dimensioning and tolerancing (“GD&T”) in a drawing. In one embodiment, a method of validating the application of GD&T in a drawing includes creating a drawing having at least one drawing element. Nex... | 12/27/2011 |
| 8087005 | Software testing by groups A testing tool allowing convenient testing of programs and also classes in general. The tool automatically divides each program into many groups such that if one line (or statement) is executed it may reasonably be assumed that all the lines in the group are also ex... | 12/27/2011 |
| 8074205 | Binary verification service A binary is received at a binary verification service from a binary verification client agent. The binary verification service performs binary verification of the binary, wherein binary verification includes determining whether the binary is complicit with a set of ... | 12/06/2011 |
| 8065664 | System and method for defining and detecting pestware A system and method for defining and detecting pestware is described. One embodiment includes receiving a file and placing at least a portion of the file into a processor-readable memory of a computer. A plurality of execution paths within code of the pestware file ... | 11/22/2011 |
| 8060864 | System and method for live software object interaction Systems, methods, apparatus and software can provide object interaction tools and techniques that allow a user to interact with a software object using familiar user interface elements. Information about the target object is provided so that an instance can be const... | 11/15/2011 |
| 8060865 | Build-time enforcement of architectural partitioning in computer application A computer software construct has a plurality of components and is built based on an architecture designed for the construct. The architecture includes a number of partitions and dependency rules, where each partition is for having at least one component associated ... | 11/15/2011 |
| 8056059 | Using cross-entropy to test executable logic code A method for detecting the occurrence of rare events in an executable logic code includes assigning a first probability of a chance of traversal of one or more decision paths, in which each path connects two decision points defined by execution of the logic code. As... | 11/08/2011 |
| 8037455 | Method and device for the automated evaluation of software source code quality A method and a device are disclosed for automated evaluation of the quality of a software source code, a quality target being predetermined for the quality of the source code. The current quality of the source code and the distance between the current quality of the... | 10/11/2011 |
| 8032865 | System and method for field diagnosis of wireless communications device system software A system and method are provided for field diagnosing system software in a wireless communications device. The method comprises: executing system software; launching a run-time engine; receiving patch manager run time instructions (PMRTI), including dynamic instruct... | 10/04/2011 |
| 8024710 | Unwinding unwindable code Unwinding may take place in an annotated unwinding environment with non-annotated code by placing a context frame between a first annotated function and non-annotated function and an unwind thunk between the non-annotated function and a second annotated function. Th... | 09/20/2011 |
| 8020153 | Source code checker, source code checking method, program for causing execution of the method, and storage medium for storing the program Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the progr... | 09/13/2011 |
| 8020152 | Code morphing Code morphing includes rewriting at least one underlying control structure of known code without affecting an intended context of the code. ... | 09/13/2011 |
| 8006233 | System and method for the automatic verification of privilege-asserting and subject-executed code The present relates to a method for verifying privileged and subject-executed code within a program, the method further comprising the steps of constructing a static model of a program, identifying checkPermission nodes that are comprised within the invocation graph... | 08/23/2011 |
| 8001533 | Maintaining object referential integrity for abstract objects A method, system and computer program product for maintaining object referential integrity for abstract objects. In a method of the invention, the method can include extracting a reference to an abstract object hierarchy from an address disposed in markup, locating ... | 08/16/2011 |
| 7992135 | Certification of server-side partner plug-ins for analytics and privacy protection Tools and techniques are provided to allow partners of analytics providers and others who use web-beacons to submit plug-ins for scrutiny, and for the plug-in to either be refused or else to be certified for use in a core JavaScript file, data engine, or similar com... | 08/02/2011 |
| 7992134 | Systems, methods and apparatus for modeling, specifying and deploying policies in autonomous and autonomic systems using agent-oriented software engineering Systems, methods and apparatus are provided through which in some embodiments, an agent-oriented specification modeled with MaCMAS, is analyzed, flaws in the agent-oriented specification modeled with MaCMAS are corrected, and an implementation is derived from the co... | 08/02/2011 |
| 7987451 | System, method and computer program product for verifying invocations of interfaces A verification system, method and computer program product are provided. In one embodiment, one of a plurality of call instruction formats is selected. In addition, it is verified whether an invocation of an interface was attempted by code utilizing the selected cal... | 07/26/2011 |
| 7975259 | Verification of customization results Objects associated with a business document and one or more functions associated with the production of the objects may be determined. An object associated with an unexpected result in the business document may be selected. A function associated with the object may ... | 07/05/2011 |
| 7971189 | Automated interaction diagram generation using source code breakpoints An automated interaction diagram generation using source code breakpoints is presented. A user sets diagram breakpoints at locations in source code using an integrated development environment (IDE) that includes a diagram generation manager. The user sets the breakp... | 06/28/2011 |
| 7954088 | Method and apparatus for executing unit tests in application host environment A development environment in which unit tests are prepared. The unit tests run in a host environment for more complete and accurate testing of program units. The development environment uses a test execution shim to access an adapter running in the host environment.... | 05/31/2011 |
| 7950005 | Method and apparatus for performing versioning for loop, method and apparatus for collecting array range check information in basic blocks, method for modifying array range check information, method for optimizing array range checks, method for generating codes for array range checks, method and apparatus for eliminating redundant array range checks, method for selecting array range checks, method for modifying array range checks, method for collecting array range checks, and method for determining handling of array range checks A system and method are provided that in one aspect eliminate redundant array range checks by performing a versioning for a loop. In another aspect, a system and method optimize array range checks by performing data-flow analysis in reverse order of the program exec... | 05/24/2011 |
| 7937689 | Method, apparatus and computer program product for determining a relative measure of build quality for a built system Determining a relative measure of build quality for a built product based on analysis of historical test data from test cases applied to a series of builds of the built product, by identifying one or more first sets of test results, each first set of test results be... | 05/03/2011 |
| 7926039 | Reachability analysis for program verification An improved method for automatically improving the precision of an extrapolation operator used, for example, in software program verification in connection with the static analysis and model checking of the software programs which rely on fix-point computation. In p... | 04/12/2011 |
| 7926038 | Method, system and computer program for testing a command line interface of a software product A solution for facilitating the test of a command line interface (CLI) of a software product is proposed. A first phase of a process generates a scenarios matrix. Each command of the CLI is defined with its arguments and the corresponding properties; the test activi... | 04/12/2011 |
| 7926037 | Hiding irrelevant facts in verification conditions A program verification process begins by converting a language of the program from a first language into an intermediate language representation. The loops of the program are eliminated. The program is converted from the intermediate language representation into a p... | 04/12/2011 |
| 7921411 | Model checking of non-terminating software programs A method for verifying software program code includes specifying a property that the software program code is expected to satisfy. The software program code and the property are transformed into an initial logical formula in a static single assignment (SSA) form, th... | 04/05/2011 |
