Patents by Inventor William Carlisle Arnold

William Carlisle Arnold 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).

  • Method and system for modeling, validating and automatically resolving goals and dependencies between elements within a topology
    Patent number: 8126692
    Abstract: Computer implemented method, system and computer usable program code for configuring a computing system. A determination is made whether there are any errors in the model, and responsive to determining that there is at least one error in the model, a determination is made whether there is at least one resolution for correcting the at least one error. Responsive to determining that there is at least one resolution for correcting the at least one error, at least one resolution among the at least one resolution for correcting the at least one error is selected to form at least one selected resolution to correct the at least one error. The at least one selected resolution is applied to the model to form a transformed model, and the transformed model is output to a user.
    Type: Grant
    Filed: January 15, 2008
    Date of Patent: February 28, 2012
    Assignee: International Business Machines Corporation
    Inventors: William Carlisle Arnold, Daniel Christopher Berg, Brad Lee Blancett, Tamar Eilam, Michael Damein Elder, Chad M. Holliday, Michael Husayn Kalantar, Alexander V. Konstantinou, Narinder Makin, Edward Charles Snible, John Eric Swanke, Andrew Neil Trossman, Paul Darius Vytas, Alice Tae Yun Yeung
  • Method and system for modeling, validating and automatically resolving goals and dependencies between elements within a topology
    Patent number: 8126693
    Abstract: Computer implemented method, system and computer usable program code for configuring a computing system. A system for configuring a computing system includes a mechanism for creating a model of a computing system, a validator for determining whether there are any errors in the model, and a resolver, responsive to determining that there is at least one error in the model, for determining whether there is at least one resolution for correcting the at least one error. A selector, responsive to determining that there is at least one resolution for correcting the at least one error, selects at least one resolution among the at least one resolution for correcting the at least one error to form at least one selected resolution to correct the at least one error, and applies the at least one selected resolution to the model to form a transformed model. An output outputs the transformed model to a user.
    Type: Grant
    Filed: January 15, 2008
    Date of Patent: February 28, 2012
    Assignee: International Business Machines Corporation
    Inventors: William Carlisle Arnold, Daniel Christopher Berg, Brad Lee Blancett, Tamar Eilam, Michael Damein Elder, Chad M. Holliday, Michael Husayn Kalantar, Alexander V. Konstantinou, Narinder Makin, Edward Charles Snible, John Eric Swanke, Andrew Neil Trossman, Paul Darius Vytas, Alice Tse Yun Yeung
  • METHOD AND SYSTEM FOR MODELING, VALIDATING AND AUTOMATICALLY RESOLVING GOALS AND DEPENDENCIES BETWEEN ELEMENTS WITHIN A TOPOLOGY
    Publication number: 20090183021
    Abstract: Computer implemented method, system and computer usable program code for configuring a computing system. A system for configuring a computing system includes a mechanism for creating a model of a computing system, a validator for determining whether there are any errors in the model, and a resolver, responsive to determining that there is at least one error in the model, for determining whether there is at least one resolution for correcting the at least one error. A selector, responsive to determining that there is at least one resolution for correcting the at least one error, selects at least one resolution among the at least one resolution for correcting the at least one error to form at least one selected resolution to correct the at least one error, and applies the at least one selected resolution to the model to form a transformed model. An output outputs the transformed model to a user.
    Type: Application
    Filed: January 15, 2008
    Publication date: July 16, 2009
    Inventors: William Carlisle Arnold, Daniel Christopher Berg, Brad Lee Blancett, Tamar Eilam, Chad M. Holliday, Michael Husayn Kalantar, Alexander V. Konstantinou, Narinder Makin, Edward Charles Snible, John Eric Swanke, Andrew Neil Trossman, Paul Darius Vytas, Alice Tse Yeung
  • METHOD AND SYSTEM FOR MODELING, VALIDATING AND AUTOMATICALLY RESOLVING GOALS AND DEPENDENCIES BETWEEN ELEMENTS WITHIN A TOPOLOGY
    Publication number: 20090183028
    Abstract: Computer implemented method, system and computer usable program code for configuring a computing system. A determination is made whether there are any errors in the model, and responsive to determining that there is at least one error in the model, a determination is made whether there is at least one resolution for correcting the at least one error. Responsive to determining that there is at least one resolution for correcting the at least one error, at least one resolution among the at least one resolution for correcting the at least one error is selected to form at least one selected resolution to correct the at least one error. The at least one selected resolution is applied to the model to form a transformed model, and the transformed model is output to a user.
    Type: Application
    Filed: January 15, 2008
    Publication date: July 16, 2009
    Inventors: William Carlisle Arnold, Daniel Christopher Berg, Brad Lee Blancett, Tamar Eilam, Chad M. Holliday, Michael Husayn Kalantar, Alexander V. Konstantinou, Narinder Markin, Edward Charles Snible, John Eric Swanke, Andrew Neil Trossman, Paul Darius Vytas, Alice Tse Yun Yeung, MICHAEL D. ELDER
  • Autonomous system for recognition of patterns formed by stored data during computer memory scrubbing
    Patent number: 6279128
    Abstract: A system for continuous monitoring and autonomous detection of patterns in the main memory subsystem of a computer system. The invention can be embodied as an extension to existing memory scrubbing hardware to permit stored code pattern analysis and identification during the autonomous transparent memory scrubbing process. A library of stored target signatures is provided to which code signatures are compared during analysis. Code signatures may be derived directly from the memory subsystem data pattern or may be indirectly and more efficiently derived from the error correction code (ECC) string associated with the stored data pattern. This invention is directly applicable to computer virus detection and neutralization systems.
    Type: Grant
    Filed: December 29, 1994
    Date of Patent: August 21, 2001
    Assignee: International Business Machines Corporation
    Inventors: William Carlisle Arnold, Jehoshua Bruck, Jeffrey Owen Kephart, Gregory Bret Sorkin, Steve Richard White, David Michael Chess, Charles Edwin Cox, Myron Dale Flickner