Patents by Inventor Dusko Pavlovic

Dusko Pavlovic 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: 6964037
    Abstract: A computer-implemented method and system for determining colimits of hereditary diagrams. A user specifies a diagram of diagram and specifies performance of a colimit operation. Once the colimit is performed, the name of the colimit is added to the hereditary diagram. The described embodiment supports diagrams of diagrams, also called hierarchical diagrams.
    Type: Grant
    Filed: September 19, 2000
    Date of Patent: November 8, 2005
    Assignee: Kestrel Institute
    Inventors: Dusko Pavlovic, Douglas R. Smith, Junbo Liu
  • Publication number: 20050138600
    Abstract: A computer-implemented method and system for allowing software to carry its own specification.
    Type: Application
    Filed: May 14, 2004
    Publication date: June 23, 2005
    Inventors: Dusko Pavlovic, Douglas Smith, Stephen Fitzpatrick, Matthias Anlauff
  • Publication number: 20020059563
    Abstract: A computer-implemented method and system for allowing software to carry its own specification.
    Type: Application
    Filed: April 16, 2001
    Publication date: May 16, 2002
    Inventors: Dusko Pavlovic, Douglas R. Smith, Stephen Fitzpatrick