17018 search results - page 123 / 3404 » From the How to the What |
101
Voted
TSE
1998
15 years 10 days ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
93
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
The recent explosion of interest in graph cut methods in computer vision naturally spawns the question: what energy functions can be minimized via graph cuts? This question was fi...
74
Voted
FC
2007
Springer
15 years 6 months ago
2007
Springer
This paper reports the highlights of a user study which gauges reactions to a variety of common “trust indicators” – such as logos, third party endorsements, and padlock icon...
DAGSTUHL
2004
15 years 2 months ago
2004
Abstract. With the recent trend to model driven development a commonly agreed notion of "model" becomes a pivotal issue. However, currently there is little consensus abou...
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...