1054 search results - page 106 / 211 » From a Verified Kernel towards Verified Systems |
165
click to vote
ACSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...
178
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We present a 3-D shape-based object recognition system for simultaneous recognition of multiple objects in scenes containing clutter and occlusion. Recognition is based on matchin...
162
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Many applications require the ability to track the 3-D motion of the subjects. We build a particle filter based framework for multimodal tracking using multiple cameras and multip...
139
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
A desirable property for any system dealing with unrestricted natural language text is robustness, the ability to analyze any input regardless of its grammaticality. In this paper ...
155
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...