Bizarre Patents
Reward Candy Dispenser for Personal Computers
A personal computer peripheral, battery powered reward candy dispenser which immediately presents students with a single candy for each problem completed correctly.
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 |
| 8112740 | Core object-oriented type system for semi-structured data A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic t... | 02/07/2012 |
| 8091069 | Module specification language and meta-module A language for the specification of object-oriented modules is disclosed. The specification language is processed by a computer-implemented parser to produce an object-oriented data structure. Expressions in the specification language may include specifications of m... | 01/03/2012 |
| 8060859 | Core object-oriented type system for semi-structured data A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic t... | 11/15/2011 |
| 8028273 | Program product providing a configuration specification language having clone latch support Methods, data processing systems, and program products supporting the insertion of clone latches within a digital design are disclosed. According to one method, a parent latch within the digital design is specified in an HDL statement in one of the HDL files represe... | 09/27/2011 |
| 8020145 | Method and language for process expression A programming language for representing processes as strings of symbols has a syntax delimiting places in a symbol string. A convention associates delimited places in symbol strings. An invocation construct instantiated as an invocation string. A definition construc... | 09/13/2011 |
| 8010943 | Dynamic memory management system and method A data expression is created to be executed on a computer. At least one of the at least two objects is tagged as temporary. A first non-assignment operator is executed to instruct the computer to perform a mathematical operation on object data corresponding to the o... | 08/30/2011 |
| 8001524 | Instruction extension for linked list lookup A system uses software to perform a first portion of a linked list traversal process, where the first portion obtains a pointer that corresponds to a key and where the pointer points into a linked list. The system further uses hardware and the obtained pointer to pe... | 08/16/2011 |
| 8001525 | Rule based engine for validating financial transactions A method and system for checking whether customer orders for transactions of financial instruments conform to business logic rules. Executable rule files are created and stored in a repository. New executable rule files can be created by scripting the new business l... | 08/16/2011 |
| 8001523 | System and methods for implementing an explicit interface member in a computer programming language A system and methods are provided for implementing an explicit interface member in connection with a computer programming language. Thus, a mechanism is provided that prevents conflicts between independently developed interfaces, enables privately implemented interf... | 08/16/2011 |
| 7966601 | Generating web service without coding logic with a programming language A network-accessible Web service is generated without a user having to code the logic of the Web service using a programming language. The Web service is represented as a sheet element within a graphical user interface (GUI) displayed on the screen of a computing de... | 06/21/2011 |
| 7966602 | Incremental modification detector, and methods, systems, and apparatus for implementing the same A method for selecting an annotation processor associated with an annotation for reprocessing is provided. The annotation is included in a computer software source code. An annotation snapshot is captured and a hash value is generated for the annotation snapshot. Th... | 06/21/2011 |
| 7958491 | Command line output redirection In one embodiment the invention provides a method to provide command line utility output to an application without the need of temporary files. The method includes receiving an identifier, receiving output from a command line utility, and storing the command line ut... | 06/07/2011 |
| 7949996 | Peer-to-peer identity management managed interfaces and methods A set of managed application programming interfaces (APIs) are presented to allow management of a user's name and identity within a peer to peer networking environment. These managed APIs enable a user to successfully create and manage their peer names and identitie... | 05/24/2011 |
| 7930680 | XML schema design for environment-specific types based on base types XML Schema Designs for environment-specific types based on XML base types are disclosed. The invention provides a series of “base types” in the XML Schema. Each base type is in an environment-specific XML Schema namespace that disambiguates the environment's typ... | 04/19/2011 |
| 7904881 | Using a virtual stack for fast and composable stack cutting Embodiments of a system and method for facilitating the use of stack cutting to be used in programming languages in a safe fashion even when composed with constructs that require destructor operations are described. For stack-based operations that require resolution... | 03/08/2011 |
| 7895569 | System and method for implementing software breakpoints in an interpreter A method for implementing software breakpoints in a software program to be executed by a interpreter, comprising the steps of executing a look-up, in a main loop of the interpreter, the look-up function searching a list of breakpoint addresses to determine whether a... | 02/22/2011 |
| 7890928 | Mechanism and system for representing and processing rules This invention utilizes a concept called color, which implies a variation, and applies it to natural language attributes like verbs and nouns. The verb color is defined as a role or operation in which the field participates. The noun color is defined as a form of th... | 02/15/2011 |
| 7890929 | Methods and system for a tool and instrument oriented software design A Toolbox and Instrument software design and runtime system which simulates real-world Tools by providing Instruments for the Tools' configuration, control, and state monitoring before, during, and after runtime. A Tool is a software function which may be used to mo... | 02/15/2011 |
| 7873943 | Inserting stack clearing code in conservative garbage collection A location to insert stack clearing code into a method to be executed in an execution environment of a computer system is determined. The stack clearing code is inserted into the location of the method. The stack clearing code is executed during execution of the met... | 01/18/2011 |
| 7827155 | System for processing formatted data A system and method for generating metadata for processing by various processing components is provided. A metadata compiler component is operable to generate metadata including one or more constraints which correspond to evaluation criteria and one or more anchor p... | 11/02/2010 |
| 7752599 | Systems and methods extending an existing programming language with constructs An easy-to-use workflow language can be created by extending an existing, common language such as JAVA. The language can be extended by adding those constructs that are missing but desirable. Such desirable constructs can include parallelism, asynchrony, loops over ... | 07/06/2010 |
| 7739283 | System and method for using an RMI activation system daemon with non-java applications A system and a method for implementing the system are provided. The system may include a non-Java-based application to communicate in a remote session, via a network including a plurality of remote method invocation (RMI) services, to a Java-based application using ... | 06/15/2010 |
| 7735061 | Efficient encoding and access of mathematically precise variable precision numeric types A method of encoding variable-precision numeric types that includes determining a fixed numeric storage size used by a computer system, encoding numeric values that do not fit into the fixed size in a variable-precision numeric value allocated on a program heap and ... | 06/08/2010 |
| 7716637 | Embedded macros An embedded macro establishes logic for object properties that define actions that execute when an event triggers. When an embedded macro is associated with an event, a regular event property value is set to an empty string and a shadow property associated with the ... | 05/11/2010 |
| 7694274 | Dynamically typed unsafe variance A program execution engine that facilitates generic type variance verification is provided. The execution engine receives a program executable in the form of intermediate language (IL). The program executable can be based on code that includes expression(s) with gen... | 04/06/2010 |
| 7685566 | Structured message process calculus Trees are a common semantic denominator of XML data types and process calculi. This indicates a potential tight intertwining of the syntax and semantics of data and processes. The invention provides this intertwining via a process calculus wherein the data language ... | 03/23/2010 |
| 7647580 | General programming language support for nullable types The subject invention relates to systems and methods that provide null capabilities within the context of programming languages. In one aspect, a system is provided that facilitates null-support in various programming languages. The system includes one or more types... | 01/12/2010 |
| 7647579 | Method, system and program product for detecting deviation from software development best practice resource in a code sharing system Under the present invention, a best practice violation (BPV) engine resource is first built. This typically occurs by: receiving sets of source code from a plurality of sources; detecting a programming language of each of the sets of source code; extracting code pat... | 01/12/2010 |
| 7614039 | Backing files for portal element controls Backing files and backing contexts can be associated with portal elements controls for the construction of a portal. The backing files and backing contexts can allow interactions with the portal element controls before rendering. In one embodiment, developers are al... | 11/03/2009 |
| 7600217 | Socket-like communication API for Java A system and method are described for performing data processing using shared memory and socket-like application programming interface. In one embodiment, a plurality of handles is employed and associated with a plurality of processes. The plurality of handles may s... | 10/06/2009 |
| 7509631 | Systems and methods for implementing a computer language type system The invention provides systems and methods for implementation of a computer language type system by augmenting finite state automata algorithms to accommodate symbols having both subtype relationships and nested types. To make the classical automata algorithms work ... | 03/24/2009 |
| 7496892 | Polymorphic regular expressions New polymorphic advantages by combining OO elements of the Java™ and C++ languages with built-in support for regular expressions (in terms of class definitions, inheritance, member functions) and by applying the principle of virtual class membership to production ... | 02/24/2009 |
| 7475384 | Binding to types A system and method for system and method data binding to type(s) of object(s) is provided. The system can be employed in a software application development environment to facilitate data binding to types of entity(ies) rather than instance(s) of the entity(ies). Th... | 01/06/2009 |
| 7444617 | Programming tool and programming method In the field of automation technology, processes, which are controlled by stored program controllers (2), are divided into modules, which are also known as function blocks. If possible, these function blocks should be used universally. The interfaces of these... | 10/28/2008 |
| 7444618 | Automatic generation of batch programs with identification, insertion of invariables, declarative statements and variables with the use of place-marks A model framework for generating batch programs has an abstraction representing a batch program, an abstraction representing a batch function of the program, an abstraction representing operation of the function, an abstraction representing a data provider to the fu... | 10/28/2008 |
| 7444619 | Inter-process communication using different programming languages A method for inter-process communication between a first process and a second process. The method includes receiving a request from the first process for processing a first process call in a first programming language by the second process, where the second process ... | 10/28/2008 |
| 7437715 | System and method for generating a set of robot commands based on user entry events in a user interface A system for generating a set of robot commands uses user entry events in a user interface. Such a system may include an event queue to which the events are sent from the user interface and a RobotCreator tool for receiving the events as those events are submitted t... | 10/14/2008 |
| 7434156 | Method, system, program, and computer readable medium for providing a database for object oriented objects Provided is a method, system, program, and computer readable medium for maintaining a database of objects. At least one structured document is received representing an instance of an object including attributes and attribute values defined for a class. Content of th... | 10/07/2008 |
| 7426714 | Methods and apparatuses to determine dynamic dates A method, apparatus, and system in which a resultant date is modified based upon the date-effecting condition. A date input is received as an expression having one or more components and other parameters that modify the value of a particular component. The expressio... | 09/16/2008 |
| 7412696 | Method, apparatus and computer program for compiling program using statistical information on variables, and recording medium therefor The apparatus according to the present invention adds a sequence of instructions for recording a maximum of two sets of values assigned to variables in the procedure under the first execution and whose appearance frequencies can reach 50% or more and their appearanc... | 08/12/2008 |
