Shadow satisfiability modulo theories solver systems
US-2024330709-A1 · Oct 3, 2024 · US
US8935429B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-8935429-B2 |
| Application number | US-201113193471-A |
| Country | US |
| Kind code | B2 |
| Filing date | Jul 28, 2011 |
| Priority date | Dec 19, 2006 |
| Publication date | Jan 13, 2015 |
| Grant date | Jan 13, 2015 |
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
What the patent document calls the invention.
A short plain-language summary of the technical disclosure.
Who owns or filed the patent and who is credited as inventor.
Filing, priority, publication, and grant dates set the timeline.
The legal scope of protection — read this for what is actually claimed.
Technology tags used to group this patent with similar filings.
Prior art links and similar publications in this corpus.
Official abstract text for this publication.
Application Workspace System “AWS,” enables users to access remote server-based applications (e.g., thin client applications, terminal server applications, applications on hosted operating systems, etc.) using the same interface that they use to access local applications, without needing to know where the application is being accessed. The AWS automatically determines which applications the user is entitled to use, and then figures out automatically, based upon a variety of parameters, which applications are to be made available to the user (resolved to version, particular package etc.), and whether they are to be installed locally, or accessed remotely.
Opening claim text (preview).
The invention claimed is: 1. A method executed on a computing device for dynamically determining and providing access to a plurality of remote applications that are remote from the computing device, comprising: under control of the computing device, receiving over a communications medium an identification of a user and/or a group to which the user belongs; automatically causing the determining, based upon a set of entitlement specifications, a plurality of remote applications t…
Physics · mapped topic
Physics · mapped topic
Physics · mapped topic
Electricity · mapped topic
Physics · mapped topic
Related publications grouped by family.
Free tools are coming soon. Tell us what you want to track and we'll notify you.
Answers are generated from the same data shown on this page.