9110 search results - page 155 / 1822 » Formally-Based Design Evaluation |
153
Voted
TMM
2010
14 years 11 months ago
2010
Recent advances in 3D graphics technologies have led to an increasing use of processing techniques on 3D meshes, such as filtering, compression, watermarking, simplification, defor...
257
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...
167
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
We propose Gate Evaluation Secret Sharing (GESS) – a new kind of secret sharing, designed for use in secure function evaluation (SFE) with minimal interaction. The resulting simp...
151
Voted
SAC
2003
ACM
15 years 10 months ago
2003
ACM
This paper outlines the methodology and results of the EBONI Project’s evaluation of portable electronic books, in which staff from UK academia were provided with a selection of...
147
click to vote
UM
2001
Springer
15 years 9 months ago
2001
Springer
Unambiguously, adaptive systems have to be evaluated empirically to guarantee that the adaptivity really works. Nevertheless, only few of the existing adaptive systems have been ev...