Browsing Conference Papers & Presentations (Computer Science) by Type "Text"

Browsing Conference Papers & Presentations (Computer Science) by Type "Text"

Sort by: Order: Results:

  • Heinz Zemanek's almost forgotten contribution to the early Philosophy of Informatics 
    Gruner, Stefan (University of Wollongong (Australia), 2016-12)
    This paper recapitulates some of the most important thoughts and aspects of the early and almost forgotten computer- and informatics-philosophy by the Austrian computer pioneer Heinz Zemanek (1920-2014). From a practical ...
  • Parameterisation of three-valued abstractions 
    Timm, Nils; Gruner, Stefan; CBSoft 2014 Brazilian Conference on Software : Theory and Practice (2014 : Maceio, Brazil) untranslated (2014)
    Three-valued abstraction is an established technique in software model checking. It proceeds by generating an abstract state space model over the values true, false and unknown, where the latter value is used to represent ...