• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Diversity and adjudication

    Thumbnail
    View/Open
    author's accepted version (180.9Kb)
    Date
    2015-10-21
    Author
    Boiten, Eerke Albert
    Metadata
    Show attachments and full item record
    Abstract
    This paper takes an axiomatic and calculational view of diversity (or "N-version programming"), where multiple implementations of the same specification are executed in parallel to increase dependability. The central notion is "adjudication": once we have multiple, potential different, outcomes, how do we come to a single result? Adjudication operators are explicitly defined and some general properties for these explored.
    Description
    Citation : Boiten, E.A. (2016) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, 85 (5), Part 2, pp. 860-866
    URI
    http://hdl.handle.net/2086/17381
    DOI
    https://doi.org/10.1016/j.jlamp.2015.10.007
    ISSN : 2352-2208
    Research Group : Cyber Technology Institute (CTI)
    Research Institute : Cyber Technology Institute (CTI)
    Peer Reviewed : Yes
    Collections
    • School of Computer Science and Informatics [2970]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary