13895 search results - page 2514 / 2779 » Exploring |
115
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
145
Voted
FCCM
2002
IEEE
15 years 7 months ago
2002
IEEE
The paper presents a Design Space Exploration (DSE) experiment which has been carried out in order to determine the optimum FPGA–based Variable-Length Decoder (VLD) computing re...
127
Voted
FGR
2002
IEEE
15 years 7 months ago
2002
IEEE
We present ongoing work on a project for automatic recognition of spontaneous facial actions. Spontaneous facial expressions differ substantially from posed expressions, similar t...
109
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Information systems outsourcing has been viewed as an attractive option by many senior managers generally because of the belief that IS outsourcing vendors can achieve economies o...
108
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
One trend in day-to-day computing involves moving seamlessly from large powerful workstations to small handheld devices. A second trend is continuous collaboration with colleagues...