127 search results - page 17 / 26 » Testing Security Properties of Protocol Implementations - a ... |
134
click to vote
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
133
Voted
SDM
2008
SIAM
15 years 3 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
98
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
103
click to vote
FLAIRS
2007
15 years 4 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
110
click to vote
ECTEL
2009
Springer
15 years 7 months ago
2009
Springer
Work-integrated learning (WIL) poses unique challenges for user model design: on the one hand users’ knowledge levels need to be determined based on their work activities – tes...