Images List Premium Download Classic

Assertion

Assertion-related patent applications - as published by the U.S. Patent and Trademark Office (USPTO).


loading
Technologies for authentication and single-sign-on using device security assertions
Intel Corporation
November 09, 2017 - N°20170324731

Technologies for remote device authentication include a client computing device, an identity provider, and an application server in communication over a network. The identity provider sends an authentication challenge to the client. A capability proxy of the client intercepts an authentication challenge response and retrieves one or more security assertions from a secure environment of the client computing device. The ...
Hybrid control technique for power converters
Semiconductor Components Industries, Llc
November 09, 2017 - N°20170324345

A power conversion circuit includes a high-side mosfet and a low-side mosfet. A conduction terminal of the high-side mosfet is coupled to a conduction terminal of the low-side mosfet at a half-bridge (hb) circuit node. The high-side mosfet is switched off. Voltage potential transitions of the hb circuit node are counted while the high-side mosfet and low-side mosfet are off. ...
Bilateral assertion model and ledger implementation thereof
Chicago Mercantile Exchange Inc.
October 12, 2017 - N°20170295023

A computer implemented method for implementing a real time reconciling shared data structure is disclosed. The shared data structure may be stored in a memory, and a portion of the shared data structure may be coupled with a processor. The computer implemented method may be used for interacting with the shared data structure. The method may comprise the exchange of ...
Assertion Patent Pack
Download + patent application PDFs
Assertion Patent Applications
Download + Assertion-related PDFs
For professional research & prior art discovery
inventor
  • + full patent PDF documents of Assertion-related inventions.
  • Exact USPTO filing data with full-text, images, drawings & claims.
  • Index pages: Table View and Image-Grid View layouts. All images in each PDF.
Methods and systems for secure and reliable identity-based computing
Advanced Elemental Technologies, Inc.
October 12, 2017 - N°20170293763

The embodiments herein provide a secure computing resource set identification, evaluation, and management arrangement, employing in various embodiments some or all of the following highly reliable identity related means to establish, register, publish and securely employ user computing arrangement resources in satisfaction of user set target contextual purposes. Systems and methods may include, as applicable, software and hardware implementations for ...
Bilateral assertion model and ledger implementation thereof
Chicago Mercantile Exchange Inc.
October 12, 2017 - N°20170293669

A computer implemented method for implementing a real time reconciling shared data structure is disclosed. The shared data structure may be stored in a memory, and a portion of the shared data structure may be coupled with a processor. The computer implemented method may be used for interacting with the shared data structure. The method may comprise the exchange of ...
Deterministic read back and error detection for programmable logic devices
Lattice Semiconductor Corporation
October 12, 2017 - N°20170293518

Various techniques are provided to efficiently implement deterministic read back and error detection for programmable logic devices (plds). In one example, a pld includes an array of memory cells arranged in rows and columns, where at least one row includes an enable bit. The pld further includes an address logic circuit configured to selectively assert the columns of the array ...
Assertion Patent Pack
Download + patent application PDFs
Assertion Patent Applications
Download + Assertion-related PDFs
For professional research & prior art discovery
inventor
  • + full patent PDF documents of Assertion-related inventions.
  • Exact USPTO filing data with full-text, images, drawings & claims.
  • Index pages: Table View and Image-Grid View layouts. All images in each PDF.
Management of information from verified experts
International Business Machines Corporation
September 28, 2017 - N°20170277755

Techniques are described for a system for providing expert information by verified experts in response to currently circulating assertions such as social media postings. In one example, a method includes identifying one or more authors of respective contents issued by one or more registered expert content sources as verified experts associated with tagged topics that are tagged in association with ...
Techniques for managing wireless transmission energy budget
Apple Inc.
September 21, 2017 - N°20170273025

Techniques are disclosed relating to wireless transmission energy budgets. In some embodiments, an apparatus is configured to determine wireless transmission energy budget for a plurality of time periods. In some embodiments, the apparatus determines budget differently depending on whether it is in a thermal mode or a peak power mode. In some embodiments, the apparatus blanks scheduled wireless transmissions that ...
Apparatus and method for filtering transactions
Arm Limited
September 21, 2017 - N°20170272271

An apparatus and method are provided for filtering transactions performed between a master device and a slave device, where each transaction comprises one or more transfers. The apparatus has a first interface for coupling to the master device and a second interface for coupling to the slave device. Routing circuitry is used to route, between the first interface and the ...
Circuit design verification apparatus and program
Kabushiki Kaisha Toshiba
September 21, 2017 - N°20170270234

A program embodied in a non-transitory computer readable medium includes instructions executable by a processor to perform a method of verifying a circuit design. The method includes the steps of performing an automated analysis of the circuit design by scanning an assertion description file and a signal list file of the circuit design, creating and displaying a scheme based on ...
Assertions in a business rule management system
International Business Machines Corporation
September 21, 2017 - N°20170270025

Embodiments of the present invention provide a method, system and computer program product for assertion management in a dynamically assembled programmatic environment. In an embodiment of the invention, a method for assertion management in a dynamically assembled programmatic environment can include dynamically assembling different execution units into a dynamically assembled computer program, applying an assertion to at least one of ...
Method for tracking machines on a network using multivariable fingerprinting of passively available information
Threatmetrix Pty Ltd
August 31, 2017 - N°20170251004

A method for tracking machines on a network of computers includes determining one or more assertions to be monitored by a first web site which is coupled to a network of computers. The method monitors traffic flowing to the web site through the network of computers and identifies the one or more assertions from the traffic coupled to the network ...
Authentication proxy agent
Bmc Software, Inc.
August 31, 2017 - N°20170250984

An authentication engine may be configured to receive an authentication request and credentials from a client. The authentication engine may then generate a proxy agent configured to interact with an identity provider to authenticate the client on behalf of the client, using the credentials. In this way, the authentication engine may receive an assertion of authentication of the client from ...
Assertion Patent Pack
Download + patent application PDFs
Assertion Patent Applications
Download + Assertion-related PDFs
For professional research & prior art discovery
inventor
  • + full patent PDF documents of Assertion-related inventions.
  • Exact USPTO filing data with full-text, images, drawings & claims.
  • Index pages: Table View and Image-Grid View layouts. All images in each PDF.
Event characteristic analysis for event input discrimination
At&t Mobility Ii Llc
August 24, 2017 - N°20170242990

Determining a level of congruence between modality-event characteristics is disclosed. Information can be collected from an event input source via one or more information collection modalities. Modality-event characteristics can be determined from this information. A level of congruence between the modality-event characteristics can be determined to enable initiating a response based on the level of congruence. The level of congruence ...
Geographic filter for regulating inbound and outbound network communications
Iorhythm, Inc.
August 17, 2017 - N°20170237748

A system and method for regulating and analyzing inbound and outbound communications in and between computer networks on the basis of geographic security assertions are provided. Geographic information is collected, optimized, and shared between network objects to enforce network access control on the basis of configurable security assertions. Security assertions are configured and metrics displayed using maps and other geographic ...
Driving circuit for power switch
Stmicroelectronics (beijing) R&d Co. Ltd
August 17, 2017 - N°20170237421

An electronic circuit is for switching a power transistor having a drain coupled to a drain node, a source coupled to a lower voltage supply, and a gate coupled to a gate node. The electronic circuit includes first current generation circuitry to generate a first current to flow into the gate node in response to assertion off an on signal, ...
Memory device ultra-deep power-down mode exit control
Adesto Technologies Corporation
August 17, 2017 - N°20170236561

A memory device operable in an ultra-deep power-down mode can include: a command user interface; a voltage regulator having an output that provides a supply voltage for a plurality of components of the memory device, where the plurality of components comprises the command user interface; a wake-up circuit that remains powered on even when the memory device is in the ...
Pattern analytics and physical access control system method of operation
Adesto Technologies Corporation
August 17, 2017 - N°20170236347

A predictive physical access control and security intervention system includes a credential device, indicia sensors, portal actuators; and a data store of historic and predicted travel events, whereby out of norm behaviors trigger elevated security intervention processes. A system detects, identifies, and measures occupancy and transit patterns of identities within and through a spatial volume. A processor performs statistical calculations ...
System and method for querying questions and answers
Taiger Spain Sl
August 10, 2017 - N°20170228372

A system and method for information retrieval are presented. A client computer receives a natural language query comprising an array of tokens. A query processing server analyzes the natural language query (interpreted as a question) to identify a plurality of terms and a relationship between one or more pairs of the terms according to a knowledge model defining interrelationships between ...
Apparatuses and methods for arbitrating a shared terminal for calibration of an impedance termination
Micron Technology, Inc.
August 10, 2017 - N°20170228010

An arbitration system and method is disclosed. The apparatus includes first and second memory devices and a resistor coupled in common to the first and second memory devices, the first memory device including a first calibration circuit configured to perform, when activated, a first calibration operation based on the resistor and a first arbiter configured to activate the first calibration ...
Identifying bugs in a counter using formal
Imagination Technologies Limited
August 03, 2017 - N°20170220707

A method of detecting a bug in a counter of a hardware design that includes formally verifying, using a formal verification tool, an inductive assertion from a non-reset state of an instantiation of the hardware design. The inductive assertion establishes a relationship between the counter and a test bench counter at two or more points in time. If the formal ...
Loading