Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
In this paper, we defend the idea of integrating the actual cognitive features of novice users in the creation process of the applications to significantly increase the quality of...
This contribution presents a time-domain model of the skin depth effect in a lossy transmission line. The model was developed and implemented in VHDL-AMS for a twowire edge coupl...
We present a method for acquiring reliable predicate-argument structures from raw corpora for automatic compilation of case frames. Such lexicon compilation requires highly reliab...