3686 search results - page 450 / 738 » Comprehensive comprehensions |
124
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We initiate a provable-security treatment of cryptographic agility. A primitive (for example PRFs, authenticated encryption schemes or digital signatures) is agile when multiple, ...
132
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
133
click to vote
PAKDD
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. Despite of the wide diversity of web-pages, web-pages residing in a particular organization, in most cases, are organized with semantically hierarchic structures. For exa...
117
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper is based on a comprehensive dynamic mathematical model (Copernicus) of vascular bubble formation and growth during and after decompression from a dive. The model des...
136
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 8 months ago
2009
ACM
Older drivers represent the fastest growing segment of the road user population. Cognitive and physiological capabilities diminishes with ages. The design of future in-vehicle int...