549 search results - page 58 / 110 » Verification condition generation for conditional informatio... |
145
click to vote
EUROCRYPT
2003
Springer
15 years 9 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 ...
169
click to vote
AROBOTS
2007
15 years 4 months 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...
117
click to vote
ICPR
2006
IEEE
16 years 5 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,...
121
click to vote
ACSAC
2003
IEEE
15 years 9 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...
151
click to vote
KBSE
2010
IEEE
15 years 2 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...