Sciweavers

7536 search results - page 1213 / 1508
» The CLEAR 2007 Evaluation
Sort
View
CC
2007
Springer
143views System Software» more  CC 2007»
16 years 25 days ago
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek
CCIA
2007
Springer
16 years 25 days ago
Using the Average Landmark Vector Method for Robot Homing
Several methods can be used for a robot to return to a previously visited position. In our approach we use the average landmark vector method to calculate a homing vector which sho...
Alex Goldhoorn, Arnau Ramisa, Ramon López d...
CCS
2007
ACM
16 years 25 days ago
Direct static enforcement of high-level security policies
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
Qihua Wang, Ninghui Li
CCS
2007
ACM
16 years 25 days ago
Privacy-preserving remote diagnostics
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
Justin Brickell, Donald E. Porter, Vitaly Shmatiko...
CCS
2007
ACM
16 years 25 days ago
An algorithm for the appraisal of assurance indicators for complex business processes
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
Fabio Massacci, Artsiom Yautsiukhin
« Prev « First page 1213 / 1508 Last » Next »