Now showing items 1-4 of 353

    • Privacy and security: Making security sustainable 

      Anderson, Ross John (Association for Computing Machinery (ACM), 2018-03-01)
      Can there be an Internet of durable goods?
    • Collapsing Towers of Interpreters 

      Amin, Nada; Rompf, Tiark (Association of Computing Machinery, 2017-12-27)
      Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input programs, we aim to collapse this tower into a compiler that removes all interpretive overhead and runs in a single ...
    • Reasoning with concept diagrams about antipatterns in ontologies 

      Shams, Zohreh; Jamnik, Mateja; Stapleton, G; Sato, Y (2017-01-01)
      © Springer International Publishing AG 2017. Ontologies are notoriously hard to define, express and reason about. Many tools have been developed to ease the ontology debugging and reasoning, however they often lack ...
    • Verifying strong eventual consistency in distributed systems 

      Gomes, Victor; Kleppmann, Martin Alexander; Mulligan, Dominic Phillip; Beresford, Alastair Richard (2017-10-12)
      Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithms for achieving consistency in replicated ...