Suchergebnisse - "Theory of computation Semantics and reasoning Program semantics"

SemFix: program repair via semantic analysis von Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish

“… Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing …”
Volltext

Game Semantics for Type Soundness von Disney, Tim, Flanagan, Cormac

“… Game semantics allows us to define the meaning of both expressions and types in the same domain which enables an interesting alternative to subject reduction for proving type soundness …”
Volltext

Generating Subject-Oriented Process Models from Ad-Hoc Interactions of Cognitive Agents von Kannengiesser, Udo, Radmayr, Markus, Heininger, Richard, Meyer, Nils

“… This paper presents an approach for generating subject-oriented process models from the cognitive models used by agents while interacting …”
Volltext

Intrusion detection using signatures extracted from execution profiles von El-Ghali, M., Masri, W.

“… An application based intrusion detection system is a security mechanism designed to detect malicious behavior that could compromise the security of a software …”
Volltext