Match Document Document Title
9031209 Divided call history user interface  
A computing device displays a call history graphical user interface (GUI). The call history GUI includes a new list and an old list. The new list may include new missed call elements and missed...
9026985 Dynamically configurable model-to-model transformation engine  
A method, system and apparatus for processing a model-to-model transformation. The method can include dynamically accepting a transformation to apply to a source model in order to produce a target...
9026409 Systems, methods, and software for automated design and manufacturing of HVAC control panels  
The present inventors devised, among other things, systems, methods, and software that radically simplify and reduce the time necessary to specify, design, manufacture, and document control panels...
9020802 Worldwide distributed architecture model and management  
A computer program product, method, and apparatus for discovering information about the nodes of the disperse data network, sending a command from a client to a distributed file system, wherein...
9015012 Completion of partial coverage tasks  
A method, apparatus and product for completion of partial coverage tasks. The method comprising obtaining a partial coverage task defining a test with respect to a functional coverage model of a...
9007626 Collecting data for a print service provider  
A non-transitory, computer-readable medium has embedded therein instructions executable by a processor. The instructions simulate an operation of a print service provider (PSP) using a model of a...
9009020 Automatic identification of interesting interleavings in a multithreaded program  
A facility that for a multithreaded program executing on a root machine causes the threads of the program to be executed in a relative scheduling that produces an interesting result. The facility...
9001978 ***WITHDRAWN PATENT AS PER THE LATEST USPTO WITHDRAWN LIST***
Divided call history user interface
 
A computing device displays a call history graphical user interface (GUI). The call history GUI includes a new list and an old list. The new list may include new missed call elements and missed...
8997099 Virtualization event processing in a layered virtualization architecture  
Embodiments of apparatuses and methods for processing virtualization events in a layered virtualization architecture are disclosed. In one embodiment, an apparatus includes a event logic and...
8996349 Synchronizing an abstract model and source code  
A software synchronization system detects a change that modifies an element of the abstract model. The software synchronization system globally modifies references to the element throughout the...
8996339 Incremental formal verification  
Method, apparatus, and product for performing incremental formal verification. A computer-implemented method performed by a computerized device. The method comprises: obtaining invariants with...
8995288 Method and system for a configurable communication integrated circuit and/or chipset  
A deployed configurable communication integrated circuit (IC) and/or chipset which may be integrated within a wireless communication and/or multi-media communication device may be operable to...
8990061 Tracking, analyzing, and visualizing application delay  
Performance metrics related to the processing and propagation of messages related to select applications are collected during a simulation of a network. Each message associated with an application...
8990057 Representing geometry of a system in a modeling environment  
In an embodiment, an element, that represents an entity in a system, is generated. The generated element may be incorporated in a network that represents the system. The generated element may...
8990783 Scheduling generated code based on target characteristics  
Embodiments can include computer-implemented methods or non-transitory computer readable media storing executable instructions. The method or instructions can perform execution scheduling for code...
8989887 Use of prediction data in monitoring actual production targets  
A method and system for the use of prediction data in monitoring actual production targets is described herein. In one embodiment, a process is provided to receive data from a plurality of source...
8990062 Method and program for estimating operation of program  
The present invention is achieved as software which operates on a computer system and which performs calculation by receiving various data as inputs, and which outputs values. The present...
8984494 Scheduling generated code based on target characteristics  
An embodiment can include one or more computer readable media storing executable instructions for performing execution scheduling for code generated from an executable graphical model. The media...
8983823 Verification harness for automatically generating a text-based representation of a graphical model  
A system and method automatically generates an object-oriented, textual program from a graphical model, and verifies the performance of the textual program as compared to the graphical model. The...
8983824 Methods and apparatus for advancing time in a distributed business process simulation  
Methods and apparatus for advancing time in a distributed business process simulation are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial...
8977533 System and method for detecting unreachable states in a statemate statechart model  
The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a...
8977531 Apparatus and methods for importing hardware design and generating circuit interfaces  
A system for designing a circuit, which includes a module, uses a computer. A user may program or adapt the computer to perform computer-aided design functions. The computer obtains a description...
8977534 Controller support apparatus, controller support program executed on the apparatus, storage medium storing the program, and method of estimating execution time of control program  
A controller support program causes a processor to acquire a first control execution time which is an execution time of a first control program which is an object program generated from a control...
8977689 Managing collaborative activity  
A system facilitates collaborative communications and information sharing in a network defined by a model. The model and a portion of the system are stored on a storage component coupled to a...
8972931 Contextual verification of generated code  
Functional testing of computer programming code generated from an executable graphical model is performed. The model may include a plurality of graphical objects. The generated code may be...
8972237 Optimizing quantum simulations by intelligent permutation  
A state (i.e., ket) of a set of qubits may be simulated via a classical computer. Ordering characteristics of the ket (i.e., the “current” permutation associated with the state) may be determined....
8954301 System and method for configuring an aircraft passenger cabin  
The invention relates to a system (10) for configuring an aircraft passenger cabin, said system comprising a first database (12) that stores cabin equipment component data pertaining to cabin...
8954309 Techniques for application tuning  
Techniques for tuning systems generate configurations that are used to test the systems to determine optimal configurations for the systems. The configurations for a system are generated to allow...
8954311 Arrangements for extending configuration management in large IT environments to track changes proactively  
Methods and arrangements for tracking changes in an information technology environment. Configuration dependencies are learned in a production environment, and a model of the production...
8949103 Program code simulator  
A system and method for facilitating simulation of a computer program. A program representation is generated from a computer program. A simulation of the program is performed. Simulation may...
8949104 Monitoring enterprise performance  
The techniques provided herein include obtaining a model of an enterprise operation that specifies initiation and one or more evolution milestones of one or more business entities, formulating one...
8949093 Method and system for designing, analysing and specifying a human-machine interface  
A method for analyzing and specifying a Human-Machine Interface (HMI) may include providing an HMI designing system, constructing an HMI design that includes objects created from the HMI designing...
8949106 Just in time compiler in spatially aware emulation of a guest computer instruction set  
A selected group of Guest machine instructions in an emulation environment are translated to a semantic routine of Host machine instructions, wherein Guest cells corresponding to an opcode portion...
8949089 System and apparatus for accessing a multiphysics modeling system via a design system user interface  
Systems and methods for controlling settings of a design system include receiving, via a communications interface, identifying data associated with a multiphysics modeling system. Instructions are...
8942970 Method for configuring an intelligent electronic device and a substation automation system  
A method is disclosed for configuring an intelligent electronic device (IED) that includes enabling dynamic capability of the IED by a flexible data modeling technique to dynamically adapt a data...
8938733 Generating a customized set of tasks for migration of a deployed software solution  
A migration set list generator specifies a physical topology of a deployed software solution, wherein the software solution comprises software components and data associated with the software...
8935144 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...
8935657 Model-to-model transformation by kind  
A method, system and apparatus for the model-to-model transformation by element-kind of a source model are proposed. An element-kind model-to-model transformation can include one or more transform...
8924925 Systems and methods for modeling execution behavior  
A mechanism in a block diagram environment allows the modeling of an execution behavior of a block in a block diagram, where a user selects the execution behavior from a plurality of functions...
8924921 Abstracting business logic into centralized database controls  
Methods, systems, and products for abstracting business logic into centralized database controls are disclosed herein. In one general embodiment, a method, executed by a computer system, includes...
8924193 Generating variants from file differences  
A device receives model information associated with a modeling application. The device determines first and second conflicting information in the model information. The first and second...
8918306 System and method for providing dynamic insurance portal transaction authentication and authorization  
Systems and methods are disclosed herein for managing electronic access to a plurality of computerized insurance services. A network interface is configured to receive a user identity provided by...
8914274 Method and system for instruction set simulation with concurrent attachment of multiple debuggers  
An ISS (instruction set simulator) debugging method. The method includes executing a plurality of instructions of an ISS (instruction set simulator). For each instruction, an ISS simulation state...
8910130 Method and system for executing a 3GL program and/or an assembler program within a 4GL runtime environment  
Certain example embodiments transform a third-generation language (3GL) and/or an Assembler program so that it can be executed within a fourth-generation language (4GL) runtime environment....
8903702 Generating specifications for expression language expressions and tag libraries  
Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, at least one Java Server...
8903703 Dynamically adjusting speed versus accuracy of computer platform simulation  
Executing a simulation of a computer platform, the simulation including simulation models. A dynamic quantum is accessed whose current value specifies a maximum number of units of execution a...
8892694 Declarative system configurations  
A declarative approach is used for system configuration. The declarative approach improves a system's integrity which makes the system more dependable. An overall system model is defined that...
8887126 Version control in modeling environments  
Methods and systems for controlling versions of models in modeling environments are disclosed. The versions of models and component interfaces are stored in a repository and checked in and out of...
8881094 Container-based architecture for simulation of entities in a time domain  
The present invention relates generally to a software architecture for simulation of physical entities. The invention provides an object-oriented container-based framework architecture for...
8881233 Resource management via periodic distributed time  
Systems and methods for providing resource management in a distributed network are disclosed. A loose collection of devices in a network may not be aware of the power restrictions for other...