A Receptacle for supporting, rotating and sculpting a portion of ice cream or similarly malleable food while it is being consumed.
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 |
| 8191042 | Continuation based declarative definition and composition Declarative definition and composition of activities of a continuation based runtime. When formulating such a declarative activity of a continuation-based runtime, the activity may be formulated in accordance with a declarative activity schema and include a properti... | 05/29/2012 |
| 8122432 | Rule management using a configuration database A method is presented that enables custom applications to embed rule authoring capabilities. In one embodiment, the method includes: imbedding a rule picker into an existing software application; presenting a choice of rules to be implemented in the existing softwar... | 02/21/2012 |
| 8108834 | Defining and executing processes using declarative programming language constructs A computer-implemented technique for executing a process is provided. The technique includes providing a class having at least one annotation that defines at least a portion of the process. The annotation is a run-time-readable, non-executable declarative programmin... | 01/31/2012 |
| 8099714 | Method and apparatus for applying business rules in an object model driven context A means is provided for specifying, applying, and managing sets of temporary or permanent additions or modifications to the behavior of object-oriented programs without having to change the code of the program, by using externalized rules. The points at which the ex... | 01/17/2012 |
| 8091070 | Deep embedding of program languages A programming language is implemented in terms of another programming language via deep and/or modified shallow embedding. Embedded language control structures and/or type system are decomposed to primitive features. These features are semantically mapped to host la... | 01/03/2012 |
| 8051406 | Rich end-user data views A system and/or methodology that enables personalization as a platform service for applications via a rich data view. More particularly, the subject invention provides for a rich data view to be rendered to an end-user whereas management of the data can be effected ... | 11/01/2011 |
| 8015547 | Reconfigurable, hierarchical component-based architecture and framework and methods for rapidly developing sensor device-enabling software applications A reconfigurable, hierarchical component-based architecture and framework for rapidly developing sensor device enabling software applications can have a rule-based data structuring system, a series table system, and a system of acquiring data from a data provider. U... | 09/06/2011 |
| 7975254 | Design-time rules mechanism for modeling systems According to some embodiments, a visual design tool associated with a generic modeling framework may be selected, and a set of design-time functions used in the visual design tool may be identified. A set of design-time rules may be created (e.g., by a rule creator)... | 07/05/2011 |
| 7958493 | Type inference system and method Systems and methods of representing and extracting type information from typeless and dynamically-typed programming languages are provided. These systems and methods can be immune to source file edits and the order in which those edits are executed. Deriving type in... | 06/07/2011 |
| 7926029 | System and method of progressive domain specialization product solutions The present invention relates to a software development infrastructure and/or methodology in, for example, multi-platform computing environments. More specifically, this invention relates to a software development system and an approach for providing, for example in... | 04/12/2011 |
| 7917893 | Using a system of annotations to generate views and adapters Various technologies and techniques are disclosed for using annotations in contracts to generate views and adapters. A framework is provided that supports annotations that can be used in a contract to allow a user to express how one or more members of the contract s... | 03/29/2011 |
| 7913225 | Error handling using declarative constraints in a graphical modeling tool Use of declarative constraints in an error validation framework of a graphical modeling tool. The declarative constraints define one or more rules that objects of a graphical model should adhere to. When enforced against the graphical model, objects that do not conf... | 03/22/2011 |
| 7908587 | IO update time based conditional statement evaluation A method for a system control to automatically provide highly reliable calculations and decisions based on information from sources of input whose timing is less than reliable. With application of the method in a familiar environment, the program optimally and autom... | 03/15/2011 |
| 7877730 | Method for effecting a preliminary software service in a productive system of a software system landscape and computer system A method for effecting a preliminary software service in at least one productive system of a plurality of logical systems of a software system landscape, wherein the logical systems are interconnected by logical transport paths and each logical system has associated... | 01/25/2011 |
| 7836427 | Tree-based rule composition with natural language inline editing A system, method and user interface facilitating hierarchical (e.g., tree-based) rule composition with natural language inline editing. For example, the system can combine a familiar hierarchical structure, such as a computer tree, and inline editing of natural lang... | 11/16/2010 |
| 7836428 | Declarative computer programming language method and system A method and system for instructing a computer in a system of a declarative computer programming language. Unlike traditional declarative languages, the programming language may be neither relational nor functional, neither procedural nor imperative. The declarative... | 11/16/2010 |
| 7823124 | Transformation layer The present subject mater relates to configuration of software applications and, more particularly, a configuration transformation layer. The various embodiments described herein provide systems, methods, and software to instantiate a multilayer application, wherein... | 10/26/2010 |
| 7802231 | Generating programmatic interfaces from natural language expressions of authorizations for provision of information An embodiment of the present invention is a technique for translating a business rule. An operation for a rule to authorize a provision of information is created. A current container is established. A propositional expression in the rule describing the provision of ... | 09/21/2010 |
| 7779388 | System and methods for providing a declarative syntax for specifying SOAP-based web services A system and methods are provided that make compile-time declarative modeling available for SOAP-based data transmission(s). The declarative modeling minimizes the amount of coding required of a developer. The underlying details regarding the SOAP protocol, dispatch... | 08/17/2010 |
| 7743076 | Extensible action sequences coordinating independently created components Various technologies and techniques are disclosed for creating and executing extensible processes across multiple application components. A declarative feature is provided to allow partially ordered steps in an extensible process spanning multiple application compon... | 06/22/2010 |
| 7681178 | Cascading style sheets (CSS) prototype pointer chaining in object-oriented environment A method, system, and computer program product for providing an application include representing a plurality of hierarchical rules as a plurality of objects in a prototype pointer chain, and providing a function to search the rules for a desired style by traversing ... | 03/16/2010 |
| 7665064 | Systems and methods for web service function, definition, implementation, and/or execution The present invention relates to systems and methods for defining, implementing, deploying and/or executing Web services. A Web service is defined using a graphical interface that allows the application developer to specify the operation of the Web service through i... | 02/16/2010 |
| 7664805 | System and method for modifying output of a computer program without source code modifications A system and method for modifying the output of a computer program without source code modification. A computer program reads in two files, an input data file and a recipe text file. The data input file contains name/value pairs to be rendered to an output device an... | 02/16/2010 |
| 7631296 | Rules framework for definition and execution of end-user rules logic A rules-based software architecture that provides the infrastructure for the definition and execution of end-user rules logic. This enables end-user automation of data in a unified storage platform using simple IF-THEN rules. The architecture includes a monitoring c... | 12/08/2009 |
| 7590972 | Role-oriented development environment This invention relates to a business application development and execution environment that recognizes and supports various development and user roles. Aspects of the method and system are adapted to builders, assemblers, power users and end users. ... | 09/15/2009 |
| 7587707 | Predicate abstraction via symbolic decision procedures Predicate abstraction techniques and tools. Using symbolic decision procedures, predicate abstractions for computer programs are generated based on a set of predicates representing observations of expected behavior of the program. The set of predicates may be genera... | 09/08/2009 |
| 7565642 | Rule engine Methods and apparatus, including computer program products, for inference processing in a fact-based business automation system, including receiving a rule set as a single package, generating a dependency graph for the rule set, and generating a sequence of processi... | 07/21/2009 |
| 7539974 | Scalable synchronous and asynchronous processing of monitoring rules A rules runtime engine for scheduling and concurrently processing of rules. The engine efficiently runs a large number of rules in a parallel fashion. This is accomplished by authoring rules in a rule definition language, passing these rules through the translator f... | 05/26/2009 |
| 7523443 | 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/21/2009 |
| 7519948 | Platform for processing semi-structured self-describing data An Extensible Markup Language (XML) Application Server for storing, processing, communicating, and displaying dynamic semi-structured information. It comprises a declarative specification language, a transactional indexed XML data store, and an XML application serve... | 04/14/2009 |
| 7506307 | Rules definition language A rules definition language the authoring rules for concurrent processing. The RDL includes statements that facilitate efficient use of computer resources by allowing a rule to be broken down into one or more instructions, and processing these instructions asynchron... | 03/17/2009 |
| 7437710 | Annotation based development platform for stateful web services An annotation based development platform for stateful web services is described. In one embodiment, the developer expresses logic offered by the web service using a standard programming language augmented with declarative annotations specifying preferences for expos... | 10/14/2008 |
| 7434202 | System and method for software component dependency checking A system and method for use with an enterprise system or software development system, for determining or checking for dependencies between software components, or between other components of said system. The system utilizes a module architecture specification langua... | 10/07/2008 |
| 7434205 | Virtual type interpretation, interaction and detection Interpretation of virtual types in a software development, debugging, or monitoring environment. Display and modification of variables having virtual types. Detection of virtual types. ... | 10/07/2008 |
| 7406455 | Automatic recognition and flagging of anomalous items within sets of automatically classified items The present invention comprises a method and software for recognizing and flagging a data item used by one or more application program as falling within the scope of a rule but anomalous when compared with other data items falling within the scope of the rule. The m... | 07/29/2008 |
| 7386835 | Technique for graphical user interface modification A technique for easily making modifications to a graphical user interface (GUI). XML files each containing different rules for making a tree display are easily written by code developers. The files are merged into a document object model (DOM) stored in memory. The ... | 06/10/2008 |
| 7376934 | Programmable gravimetric measuring instrument, method for creating an application software, system with a programmable gravimetric measuring instrument, and software for executing the method for creating an application software System with a computer for computer-aided creation of an application program, wherein the computer contains a software module, a display device, and an input device. The system has a gravimetric measuring instrument for execution of the application program, and a co... | 05/20/2008 |
| 7373635 | System and method for efficient development of configurable software systems in a large software development community An automated software process for acquiring and distributing information regarding design guidelines relevant to developers of a software system. The system supports developer decisions regarding design guidelines for operational characteristics, such as “points o... | 05/13/2008 |
| 7369984 | Platform-independent real-time interface translation by token mapping without modification of application code A system and method for translating one or more tokens from one language to another is provided. A lookup map mapping characteristics of the tokens in one language and the corresponding characteristics to be used in a foreign language is provided. A set of “conten... | 05/06/2008 |
| 7367018 | System and method for organizing and sharing of process plant design and operations data Computer method and apparatus for managing process and plant engineering data for chemical or other engineering processes across applications. The method and apparatus include a respective class view for each of multiple software applications, a composite class view... | 04/29/2008 |