Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, Jose; Santiago, Sonia (2016-07)
    Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...

    application/pdf

    application/pdfPDF (457kB)
  • 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)

Collection Statistics