36 search results - page 6 / 8 » The GNU Prolog System and its Implementation |
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Physical layer techniques have come a long way and can achieve close to Shannon capacity for single pointto-point transmissions. It is apparent that, to further improve network ...
JCP
2008
13 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
AAAI
1990
13 years 8 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...