Browse Research and Tech Reports - Computer Science by Author "Minami, Kazuhiro"

  • Lee, Adam J.; Minami, Kazuhiro; Winslett, Marianne (2007-04)
    In distributed proof construction systems, information release policies can make it unlikely that any single node in the system is aware of the complete structure of any particular proof tree. This property makes it difficult ...

    application/pdf

    application/pdfPDF (286kB)
  • Minami, Kazuhiro; Lee, Adam J.; Winslett, Marianne; Borisov, Nikita (2008-05)
    A publish-subscribe system is an information dissemination infrastructure that supports many-to-many communications among publishers and subscribers. In many publish-subscribe systems, in-network aggregation of input data ...

    application/pdf

    application/pdfPDF (277kB)