Browsing Computer Science by Type "Book chapter"

Browsing Computer Science by Type "Book chapter"

Sort by: Order: Results:

  • Abstraction, Refinement, Enrichment 
    Gruner, Stefan (Shaker Verlag, Aachen, Germany, 2013)
    In the no longer existing South African journal Quaestiones Informaticae, "An Approach to Defining Abstractions, Refinements and Enrichments" was published by Derrick Kourie more than twenty years ago. At some occasion, ...
  • Log File Analysis with Context-Free Grammars 
    Bosman, Gregory; Gruner, Stefan (Springer-Verlag, 2013)
    Classical ways of intrusion analysis from textual communication log files are either AI-based (such as by combinations of data mining with various techniques of machine learning), or they are based on regular expressions ...
  • Model-based passive testing of safety-critical components 
    Gruner, Stefan; Watson, Bruce William (CRC Press, 2011)
    Passive testing is a complementary technique to active testing. For some types of systems, for example dynamic or adaptive distributed systems which are able to re-configure themselves at runtime in response to changes in ...
  • On the Scientific Maturity of Digital Forensics Research 
    Gruner, Stefan; Olivier, Martin S. (Springer-Verlag, 2013)
    In this paper we transfer a well-known grade schema of scientific maturity from the domain of software engineering into the domain of digital forensics research. On the basis of this maturity schema and its grades we ...