Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jonathan Bannet"'
Publikováno v:
IEEE Security & Privacy Magazine. 2:32-37
In a quest for election legitimacy, officials are increasingly deploying direct recording electronic (DRE) voting systems. A project to assess their trustworthiness revealed both the ease of introducing bugs into such systems and the difficulty of de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::161c3f1f35f4474d2d710b4586235fd2
https://doi.org/10.1109/msecp.2004.1264851
https://doi.org/10.1109/msecp.2004.1264851
Publikováno v:
OOPSLA
This paper describes how to add first-class generic types---including mixins---to strongly-typed OO languages with nominal subtyping such as Java and C#. A generic type system is "first-class" if generic types can appear in any context where conventi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::507df1aefc30b59f727b605589e86020
https://doi.org/10.1145/949305.949316
https://doi.org/10.1145/949305.949316