549 search results - page 58 / 110 » Verification condition generation for conditional informatio... |
115
Voted
EUROCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
131
click to vote
AROBOTS
2007
15 years 21 days ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
94
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we discuss new experiments on face recognition and authentication based on dimensional surface matching. While most of existing methods use facial intensity images,...
95
Voted
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
116
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...