1058 search results - page 110 / 212 » It's Doomed; We Can Prove It |
DSN
2009
IEEE
14 years 4 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
IEEEIAS
2009
IEEE
14 years 4 months ago
2009
IEEE
: Network security situation awareness (NSSA) is a hotspot in the network security research field, and it’s the perception, comprehension, and forecast of network security situat...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Vision-aided inertial navigation systems (V-INSs) can provide precise state estimates for the 3-D motion of a vehicle when no external references (e.g., GPS) are available. This...
TARK
2007
Springer
14 years 4 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generatorsâ...