11665 search results - page 191 / 2333 » Human computing for EDA |
126
Voted
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
131
Voted
ETRICS
2006
15 years 8 months ago
2006
Digital signatures and message authentication codes are well known methods for ensuring message integrity. However, they rely on computations which are too hard to be performed by ...
148
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
It is natural in a visual search to look at any object that is similar to the target so that it can be recognised and a decision made to end the search. Eye tracking technology of...
121
Voted
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the question of how to obtain consistent semantic annotation on the basis of a set of noisy texts. Many potential realworld applications of semantic computing...
116
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...