8655 search results - page 1356 / 1731 » Challenges for Trusted Computing |
140
click to vote
PAAMS
2010
Springer
15 years 8 months ago
2010
Springer
A vehicular ad hoc network (VANET) is a type of mobile network whose nodes are traveling cars which communicate with one another using short-range wireless communications. These ca...
114
click to vote
CTRSA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...
145
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Realtime web search refers to the retrieval of very fresh content which is in high demand. An effective portal web search engine must support a variety of search needs, including ...
117
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
137
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...