Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Skeirik, Stephen; Meseguer, José (2016-06-07)
    Variant satisfiability is a theory-generic algorithm to decide quantifier-free satisfiability in an initial algebra when its corresponding theory has the finite variant property and its constructors satisfy a compactness ...

    application/pdf

    application/pdfPDF (582kB)
  • Bertram Ludäscher (2016-03-03)
    Within computer science, the term provenance has multiple meanings, due to different motivations, perspectives, and assumptions prevalent in the respective communities. This chapter provides a high-level “sightseeing tour” ...

    application/pdf

    application/pdfPDF (3MB)
  • Ghosh, Mainak; Kao, Thomas; Gupta, Indranil (2016-03-08)
    In this paper, we target lookback processing systems (LPS), which allow queries to operate on segment-based historical data. We present new strategies that decide which segments should be placed, and how they should be ...

    application/pdf

    application/pdfPDF (389kB)
  • Nguyen, Phuong; Nahrstedt, Klara (2016-03-05)
    As more and more information systems are moving to the cloud, there have been efforts to deploy publish-subscribe (or pub/sub) systems in the cloud environment to take advantage of the elasticity of resources. As a result, ...

    application/pdf

    application/pdfPDF (667kB)
  • Rosu, Grigore (2016-02-20)
    Here is a list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that some of the ...

    application/pdf

    application/pdfPDF (1MB)

Collection Statistics