32 search results - page 7 / 7 » Computing Arguments and Attacks in Assumption-Based Argument... |
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
EUC
2008
Springer
13 years 7 months ago
2008
Springer
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...