Patents by Inventor William R. Bush
William R. Bush has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 7457878Abstract: One embodiment of the present invention provides a system that supports low-latency session-mobility for an ultra-thin-client. During system operation, an ultra-thin-client sends a location-identifier to a Connection Assignment Server (CAS), which facilitates communication with a user-interface (UI) server, wherein the location-identifier specifies the current location of the ultra-thin-client. Next, the ultra-thin-client receives the address of a local UI-server from the CAS, wherein the CAS selects the local UI-server based on the location-identifier. The ultra-thin-client then sends a user-session identifier to the local UI-server. This allows the local UI-server to retrieve a user-session-image for a user-session from a user-session-image repository. Note that, before moving to the current location, the ultra-thin-client was previously communicating with a remote UI-server, which stored the user-session-image in the user-session-image repository.Type: GrantFiled: November 4, 2004Date of Patent: November 25, 2008Assignee: Sun Microsystems, Inc.Inventors: Bernd J. Mathiske, William R. Bush, Nachiappan Periakaruppan
-
Publication number: 20020184520Abstract: A method is provided for providing security. The method involves separating classes into a trusted class and an untrusted class, associating privilege information with the trusted class, and controlling access to the trusted class by the untrusted class based upon the privilege information associated with the trusted class. The untrusted class may be granted a privilege used to control access to the trusted class. Granting the privilege may be based upon one or more permissive attributes of the privilege information. Based upon this privilege, access to the trusted class may be permitted or refused.Type: ApplicationFiled: October 10, 2001Publication date: December 5, 2002Inventors: William R. Bush, Anthony P.C. Ng, Douglas N. Simon
-
Patent number: 6154876Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.Type: GrantFiled: July 30, 1997Date of Patent: November 28, 2000Assignee: Intrinsa CorporationInventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
-
Patent number: 6079031Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.Type: GrantFiled: August 1, 1997Date of Patent: June 20, 2000Assignee: Microsoft CorporationInventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
-
Patent number: 5968113Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.Type: GrantFiled: August 1, 1997Date of Patent: October 19, 1999Assignee: Intrinsa CorporationInventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
-
Patent number: 5857071Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.Type: GrantFiled: July 30, 1997Date of Patent: January 5, 1999Assignee: Intrinsa CorporationInventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
-
Patent number: 5790778Abstract: A computer program error detection system that detects errors in a computer program by simulating execution of program statements. An internal format structure is retrieved along with a list of all functions defined by the computer program. The internal format structure is analyzed to determine all function calls and the function call ordering. External behavior models corresponding to the discovered function calls are retrieved and stored in a model table. One or more control flow paths are traversed through the computer program. For each path traversed, a structural memory model is maintained to represent the effect of the simulated execution of statements along the control flow path. A statement is simulated by executing a built in model of the operation. A function call is emulated by executing an external behavior model corresponding to the called function. Execution of an external behavior model causes the structural model memory to be updated to reflect execution of the called function.Type: GrantFiled: August 7, 1996Date of Patent: August 4, 1998Assignee: Intrinsa CorporationInventors: William R. Bush, Jonathan D. Pincus, Richard E. Wilbur, Debby Majors-Degnan, David Jon Sielaff
-
Patent number: 5694539Abstract: An error detection mechanism for detecting programing errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.Type: GrantFiled: August 10, 1994Date of Patent: December 2, 1997Assignee: Intrinsa CorporationInventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush