Did You Know...
...that Kleenex tissue was originally designed to be a gas mask filter? It was developed at the beginning of World War I to replace cotton, which was then in short supply as a surgical dressing.
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 |
| 8191040 | Application program interface for network software platform An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET™ platform. ... | 05/29/2012 |
| 8171453 | Explicit delimitation of semantic scope Systems and methods are provided with respect to computer programming. Program behavior can be tuned to provide a seamless mixture of semantic behavior across a single program language syntax. Semantic behavior can be explicitly specified at arbitrary levels of synt... | 05/01/2012 |
| 8166456 | Programming language type system with automatic conversions A programming language type system includes, in a memory, a set of numeric type including integer types, fixed-point types and floating-point types, a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-po... | 04/24/2012 |
| 8156471 | Multi-language execution method A data processing representation is expressed in the form of code sections, which may be nested, using multiple programming languages. The representation is read by an execution engine. The execution engine identifies the language of each code section, and a corresp... | 04/10/2012 |
| 8156472 | Process language for microprocessors with finite resources A reflective process algebra called the ρ-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources... | 04/10/2012 |
| 8141037 | Transparent context switching for software code Systems and methods that alleviate programmers of the burden of writing extensive code to implement a context switch for a particular piece of software code. For software code for which a context switch is desired, a declaration of the context and its attributes may... | 03/20/2012 |
| 8135757 | Generating references to reusable code in a schema Provided are a method, system, and computer program product to generate references to reusable code in a schema. A program is coded in a first programming language having data structures, wherein at least one of the data structures includes a reference to reusable c... | 03/13/2012 |
| 8122431 | Device for processing formally defined data A data processing device, including a formula editor capable of establishing a formal mathematical formula with variable identifiers, a set on metadata maintaining correspondence between the identifiers and stored data, and a code generator capable of generating a c... | 02/21/2012 |
| 8121976 | Method and apparatus for converting legacy programming language data structures to schema definitions A method and apparatus for creating a schema definition from a language-specific metamodel of a data structure written in a legacy computer language involves walking through the nodes of the metamodel, and creating corresponding schema element objects in a schema tr... | 02/21/2012 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
